Automating Formal Proofs for Reactive Systems, Daniel Ricketts, Valentin Robert, Donseok Jang, Zachary Tatlock, and Sorin Lerner, PLDI, 2014.

SafeDispatch: Securing C++ Virtual Calls from Memory Corruption, Dongseok Jang, Zachary Tatlock, and Sorin Lerner, NDSS, 2014.

Abstract Refinement Types, Niki Vazou, Patrick Rondon, and Ranjit Jhala, ESOP, 2013.