Wolf Honor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | Adore: atomic distributed objects with certified reconfiguration. | Wolf Honor, Ji-Yong Shin, Jieung Kim, Zhong Shao |
| 2021 | ITP | 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 |
| 2020 | ESOP | Connecting Higher-Order Separation Logic to a First-Order Outside World. | William Mansky, Wolf Honor, Andrew W. Appel |
| 2019 | CLOUD | WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. | Ji-Yong Shin, Jieung Kim, Wolf Honor, Hernn Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao |
| 2019 | CPP | 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 |