Wolf Honoré

WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems

Zhong Shao, Ji-Yong Shin, Hernán Vanzetto, 2019, SoCC.

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

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.

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

Andrew W. Appel, William Mansky, Wolf Honoré, 2020, ESOP.

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

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2021, ITP.

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

Zhong Shao, Wolf Honoré, Jieung Kim, 2021, Proc. ACM Program. Lang..