Skip to Content

Programming Systems - Publications Archive

2010

Inferable Object-Oriented Typed Assembly Language, Ross Tate, Juan Chen, and Chris Hawblitzel, PLDI, (2010). PDF

2009

Verifying Reference Counting Implementations, Michael Emmi, Ranjit Jhala, Rupak Majumdar, and Eddie Kohler, TACAS, (2009). PDF

2008

Deep Typechecking and Refactoring, Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, and Sorin Lerner, OOPSLA, (2008).

2007

Array Abstractions from Proofs, Ranjit Jhala, and Kenneth L. McMillan, CAV, (2007). PDF
Lock Allocation, Michael Emmi, Jeffrey Fischer, Ranjit Jhala, and Rupak Majumdar, POPL, (2007). PDF
OPIUM: Optimum Package Install/Uninstall Manager, Chris Tucker, David Shuffelton, Ranjit Jhala, and Sorin Lerner, ICSE, (2007). PDF

2006

Structural Invariants, Ranjit Jhala, Rupak Majumdar, and Ru-Gang Xu, SAS, (2006). PDF

2005

Checking Memory Safety with Blast, Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar, FASE, (2005).
Permissive Interfaces, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar, FSE, (2005). PDF

2004

Abstractions from Proofs, T. A. Henzinger, R. Jhala, R. Majumdar, and K. L. McMillan, POPL, (2004). PDF
Automatically Proving the Correctness of Compiler Transformations, Sorin Lerner, Todd Millstein, and Craig Chambers, PLDI, (2004). [Best paper]
Generating Tests from Counterexamples, Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar, ICSE, (2004). PDF
Race Checking by Context Inference, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar, PLDI, (2004). PDF
The Blast Query Language for Software Verification, Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar, SAS, (2004).

2003

Software Verification with BLAST, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Grégoire Sutre, SPIN, (2003).
Thread-modular abstraction refinement, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Shaz Qadeer, CAV, (2003). PDF

2002

Lazy abstraction, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre, POPL, (2002). PDF
Temporal-safety proofs for systems code, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George Necula, Gregoire Sutre, and Westley Weimer, CAV, (2002). PDF

2001



about seo