Programming Systems Publications
     
 
Programming Systems Publications
│ 2014 │ 
 
     
 

2014

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.