David Swasey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HotOS | Modular, Full-System Verification. | Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey |
| 2015 | POPL | Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. | Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer |
| 2012 | ESORICS | Modeling and Enhancing Android's Permission System. | Elli Fragkaki, Lujo Bauer, Limin Jia, David Swasey |
| 2009 | SACMAT | xDomain: cross-border proofs of access. | Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey |