2009 |
41 | EE | Michael Emmi,
Ranjit Jhala,
Eddie Kohler,
Rupak Majumdar:
Verifying Reference Counting Implementations.
TACAS 2009: 352-367 |
2008 |
40 | EE | Zachary Tatlock,
Chris Tucker,
David Shuffelton,
Ranjit Jhala,
Sorin Lerner:
Deep typechecking and refactoring.
OOPSLA 2008: 37-52 |
39 | EE | Patrick M. Rondon,
Ming Kawaguchi,
Ranjit Jhala:
Liquid types.
PLDI 2008: 159-169 |
38 | EE | Ravi Chugh,
Jan Wen Voung,
Ranjit Jhala,
Sorin Lerner:
Dataflow analysis for concurrent programs using datarace detection.
PLDI 2008: 316-326 |
2007 |
37 | EE | Ranjit Jhala,
Kenneth L. McMillan:
Array Abstractions from Proofs.
CAV 2007: 193-206 |
36 | EE | Jan Wen Voung,
Ranjit Jhala,
Sorin Lerner:
RELAY: static race detection on millions of lines of code.
ESEC/SIGSOFT FSE 2007: 205-214 |
35 | EE | Weihaw Chuang,
Satish Narayanasamy,
Brad Calder,
Ranjit Jhala:
Bounds Checking with Taint-Based Analysis.
HiPEAC 2007: 71-86 |
34 | EE | Chris Tucker,
David Shuffelton,
Ranjit Jhala,
Sorin Lerner:
OPIUM: Optimal Package Install/Uninstall Manager.
ICSE 2007: 178-188 |
33 | EE | Charles Edwin Killian,
James W. Anderson,
Ranjit Jhala,
Amin Vahdat:
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper).
NSDI 2007 |
32 | EE | Charles Edwin Killian,
James W. Anderson,
Ryan Braud,
Ranjit Jhala,
Amin Vahdat:
Mace: language support for building distributed systems.
PLDI 2007: 179-188 |
31 | EE | Michael Emmi,
Jeffrey S. Fischer,
Ranjit Jhala,
Rupak Majumdar:
Lock allocation.
POPL 2007: 291-296 |
30 | EE | Ranjit Jhala,
Rupak Majumdar:
Interprocedural analysis of asynchronous programs.
POPL 2007: 339-350 |
29 | EE | Ranjit Jhala,
Rupak Majumdar,
Ru-Gang Xu:
State of the Union: Type Inference Via Craig Interpolation.
TACAS 2007: 553-567 |
28 | EE | Ranjit Jhala,
Kenneth L. McMillan:
Interpolant-Based Transition Relation Approximation
CoRR abs/0706.0523: (2007) |
27 | EE | Ranjit Jhala,
Kenneth L. McMillan:
Interpolant-Based Transition Relation Approximation.
Logical Methods in Computer Science 3(4): (2007) |
26 | EE | Dirk Beyer,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
The software model checker Blast.
STTT 9(5-6): 505-525 (2007) |
2006 |
25 | EE | Ranjit Jhala,
Rupak Majumdar,
Ru-Gang Xu:
Structural Invariants.
SAS 2006: 71-87 |
24 | EE | Ranjit Jhala,
Rupak Majumdar:
Bit level types for high level reasoning.
SIGSOFT FSE 2006: 128-140 |
23 | EE | Ranjit Jhala,
Kenneth L. McMillan:
A Practical and Complete Approach to Predicate Refinement.
TACAS 2006: 459-473 |
2005 |
22 | EE | Ranjit Jhala,
Kenneth L. McMillan:
Interpolant-Based Transition Relation Approximation.
CAV 2005: 39-51 |
21 | EE | Jeffrey Fischer,
Ranjit Jhala,
Rupak Majumdar:
Joining dataflow with predicates.
ESEC/SIGSOFT FSE 2005: 227-236 |
20 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Permissive interfaces.
ESEC/SIGSOFT FSE 2005: 31-40 |
19 | EE | Dirk Beyer,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Checking Memory Safety with Blast.
FASE 2005: 2-18 |
18 | EE | Ranjit Jhala,
Rupak Majumdar:
Path slicing.
PLDI 2005: 38-47 |
17 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
The BLAST Software Verification System.
SPIN 2005: 25-26 |
16 | EE | Krishnendu Chatterjee,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Counterexample-guided Planning.
UAI 2005: 104-111 |
2004 |
15 | EE | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Generating Tests from Counterexamples.
ICSE 2004: 326-335 |
14 | EE | Dirk Beyer,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
An Eclipse Plug-in for Model Checking.
IWPC 2004: 251-255 |
13 | EE | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Invited talk: the blast query language for software verification.
PEPM 2004: 201-202 |
12 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Race checking by context inference.
PLDI 2004: 1-13 |
11 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Kenneth L. McMillan:
Abstractions from proofs.
POPL 2004: 232-244 |
10 | EE | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Invited talk: the blast query language for software verification.
PPDP 2004: 1-2 |
9 | EE | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
The Blast Query Language for Software Verification..
SAS 2004: 2-18 |
2003 |
8 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Shaz Qadeer:
Thread-Modular Abstraction Refinement.
CAV 2003: 262-274 |
7 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Counterexample-Guided Control.
ICALP 2003: 886-902 |
6 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Grégoire Sutre:
Software Verification with BLAST.
SPIN 2003: 235-239 |
5 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Marco A. A. Sanvido:
Extreme Model Checking.
Verification: Theory and Practice 2003: 332-358 |
2002 |
4 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
George C. Necula,
Grégoire Sutre,
Westley Weimer:
Temporal-Safety Proofs for Systems Code.
CAV 2002: 526-538 |
3 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Grégoire Sutre:
Lazy abstraction.
POPL 2002: 58-70 |
2001 |
2 | EE | Ranjit Jhala,
Kenneth L. McMillan:
Microarchitecture Verification by Compositional Model Checking.
CAV 2001: 396-410 |
1 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Ranjit Jhala:
Compositional Methods for Probabilistic Systems.
CONCUR 2001: 351-365 |