| 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 | 58 | 2019 |
| 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 | 24 | 2021 |
| Connecting Higher-Order Separation Logic to a First-Order Outside World W Mansky, W Honoré, AW Appel European Symposium on Programming, 428-455, 2020 | 15 | 2020 |
| 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 | 10 | 2019 |
| 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 | 5 | 2022 |
| 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 | 4 | 2021 |
| 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 | 4 | 2019 |
| AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects W HONORÉ, L QIU, Y KIM, JIY SHIN, J KIM, Z SHAO | | 2024 |
| 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, ... | | |
William ManskyAssistant Professor, University of Illinois at ChicagoVerified email at uic.edu
