Wolf Honoré

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Distributed Systems

Predicate Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, Zhong Shao
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Zhong Shao
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao
Adore: atomic distributed objects with certified reconfiguration. PLDI (2022)
Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic
Verifying an HTTP Key-Value Server with Interaction Trees and VST. ITP (2021)
Wolf Honoré, Jieung Kim, Ji-Yong Shin, Zhong Shao
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
William Mansky, Wolf Honoré, Andrew W. Appel
Connecting Higher-Order Separation Logic to a First-Order Outside World. ESOP (2020)
Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. SoCC (2019)
Ji-Yong Shin, Jieung Kim, Hernán Vanzetto, Srihari Radhakrishnan, Wolf Honoré, Zhong Shao, Mahesh Balakrishnan
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. SoCC (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to interaction trees: specifying, verifying, and testing a networked server. CPP (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server. CoRR (2018)