Programming Systems Publications
Programming Systems Publications
│ 2011 │ 


HMC: Verifying Functional Programs With Abstract Interpreters, Ranjit Jhala, Rupak Majumdar, and Andrey Rybalchenko, CAV, 2011.

NV-Heaps: Making Persistent Objects Fast and Safe with Next-Generation, Non-Volatile Memories , Joel Coburn, Adrian Caulfield, Ameen Akel, Laura Grupp, Ranjit Jhala, Rajesh Gupta, and Steven Swanson, ASPLOS, 2011.

Equality-Based Translation Validator for LLVM, Michael Stepp, Ross Tate, and Sorin Lerner, CAV, 2011.

Taming Wildcards in Java's Type System, Ross Tate, Alan Leung, and Sorin Lerner, PLDI, 2011.