Wolf Honoré

According to our database, Wolf Honoré authored at least 6 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Adore: atomic distributed objects with certified reconfiguration.

Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems.

Wolf Honoré, Jieung Kim, Ji-Yong Shin, Zhong Shao

Proc. ACM Program. Lang., 2021

Verifying an HTTP Key-Value Server with Interaction Trees and VST.

Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Connecting Higher-Order Separation Logic to a First-Order Outside World.

William Mansky, Wolf Honoré, Andrew W. Appel

Proceedings of the Programming Languages and Systems, 2020

2019

From C to interaction trees: specifying, verifying, and testing a networked server.

Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems.

Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao

Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019