William Mansky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
7
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | A Formal Interface for Concurrent Search Structure Templates. | Duc-Than Nguyen, William Mansky |
| 2024 | CPP | Compositional Verification of Concurrent C Programs with Search Structure Templates. | Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang |
| 2022 | PLDI | Compass: strong and compositional library specifications in relaxed memory separation logic. | Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer |
| 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 | 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 |
| 2017 | CPP | Verifying dynamic race detection. | William Mansky, Yuanfeng Peng, Steve Zdancewic, Joseph Devietti |
| 2017 | PLDI | BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. | Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti |
| 2015 | CAV | An Axiomatic Specification for Sequential Memory Models. | William Mansky, Dmitri Garbuzov, Steve Zdancewic |
| 2015 | PLDI | A formal C memory model supporting integer-pointer casts. | Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis |
| 2014 | ICTAC | Symbolic Analysis Tools for CSP. | Liyi Li, Elsa L. Gunter, William Mansky |
| 2012 | ITP | Using Locales to Define a Rely-Guarantee Temporal Logic. | William Mansky, Elsa L. Gunter |
| 2011 | SMC | Toward a multi-method approach to formalizing human-automation interaction and human-human communications. | Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby |
| 2010 | ITP | A Framework for Formal Verification of Compiler Optimizations. | William Mansky, Elsa L. Gunter |