Follow
Wolf Honore
Wolf Honore
Unknown affiliation
Verified email at yale.edu
Title
Cited by
Cited by
Year
From C to interaction trees: specifying, verifying, and testing a networked server
N Koh, Y Li, Y Li, L Xia, L Beringer, W Honoré, W Mansky, BC Pierce, ...
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
582019
Verifying an HTTP key-value server with Interaction Trees and VST
H Zhang, W Honoré, N Koh, Y Li, Y Li, LY Xia, L Beringer, W Mansky, ...
12th International Conference on Interactive Theorem Proving (ITP 2021), 2021
262021
Connecting Higher-Order Separation Logic to a First-Order Outside World
W Mansky, W Honoré, AW Appel
European Symposium on Programming, 428-455, 2020
172020
Adore: atomic distributed objects with certified reconfiguration
W Honoré, JY Shin, J Kim, Z Shao
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
102022
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems
JY Shin, J Kim, W Honoré, H Vanzetto, S Radhakrishnan, M Balakrishnan, ...
Proceedings of the ACM Symposium on Cloud Computing, 299-311, 2019
102019
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems
W Honoré, J Kim, JY Shin, Z Shao
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021
72021
An Online Platform for Community-Based Language Description and Documentation
R Everson, W Honoré, S Grimm
Proceedings of the Workshop on Computational Methods for Endangered Languages 1, 2019
52019
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
W Honoré, L Qiu, Y Kim, JY Shin, J Kim, Z Shao
Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 419-448, 2024
12024
The Atomic Distributed Object Model for Distributed System Verification
W Honoré
Yale University, 2022
2022
Write-Once Registers: A Modular Foundation for Simple, Verifiable Distributed Systems
JY Shin, J Kim, W Honore, H Vanzetto, S Radhakrishnan, M Balakrishnan, ...
The system can't perform the operation now. Try again later.
Articles 1–10