David Swasey

According to our database, David Swasey authored at least 7 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Modular, Full-System Verification.

Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey

Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, 2025

2017

Robust and compositional verification of object capability patterns.

David Swasey, Deepak Garg, Derek Dreyer

Proc. ACM Program. Lang., 2017

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).

Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey

CoRR, 2017

2015

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

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2012

Modeling and Enhancing Android's Permission System.

Elli Fragkaki, Lujo Bauer, Limin Jia, David Swasey

Proceedings of the Computer Security - ESORICS 2012, 2012

2009

xDomain: cross-border proofs of access.

Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

2006

A separate compilation extension to standard ML.

David Swasey, Tom Murphy VII, Karl Crary, Robert Harper

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006