Programming Systems Publications
     
 
Programming Systems Publications
│ 2007 │ 
 
     
 

2007

Array Abstractions from Proofs, Ranjit Jhala and Kenneth L. McMillan, CAV, 2007.

Lock Allocation, Michael Emmi, Jeffrey Fischer, Ranjit Jhala, and Rupak Majumdar, POPL, 2007.

Interprocedural Analysis of Asynchronous Programs, Ranjit Jhala and Rupak Majumdar, POPL, 2007.

State of the Union: Type Inference via Craig Interpolation, Ranjit Jhala, Rupak Majumdar, and Ru-Gang Xu, TACAS, 2007.

Automatic Inference of Optimizer Flow Functions from Semantic Meanings, Erika Rice, Sorin Lerner, and Craig Chambers, PLDI, 2007.

Mace: Language Support for Building Distributed Systems, Charles Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, and Amin Vahdat, PLDI, 2007.

Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code, Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat, NSDI, 2007. (Best paper).

OPIUM: Optimum Package Install/Uninstall Manager, Chris Tucker, David Shuffelton, Ranjit Jhala, and Sorin Lerner, ICSE, 2007.

Automated Refinement Checking of Concurrent Systems, Sudipta Kundu, Sorin Lerner, and Rajesh Gupta, ICCAD, 2007.