dblp.uni-trier.dewww.uni-trier.de

Ranjit Jhala

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Luca de Alfaro [1]
2James W. Anderson [32] [33]
3Dirk Beyer [9] [10] [13] [14] [15] [19] [26]
4Ryan Braud [32]
5Brad Calder [35]
6Krishnendu Chatterjee [16]
7Adam J. Chlipala [9] [10] [13] [15]
8Weihaw Chuang [35]
9Ravi Chugh [38]
10Michael Emmi [31] [41]
11Jeffrey Fischer [21]
12Jeffrey S. Fischer [31]
13Thomas A. Henzinger [1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [20] [26]
14Ming Kawaguchi [39]
15Charles Edwin Killian [32] [33]
16Eddie Kohler [41]
17Sorin Lerner [34] [36] [38] [40]
18Rupak Majumdar [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [24] [25] [26] [29] [30] [31] [41]
19Kenneth L. McMillan [2] [11] [22] [23] [27] [28] [37]
20Satish Narayanasamy [35]
21George C. Necula [4]
22Shaz Qadeer [8]
23Patrick M. Rondon [39]
24Marco A. A. Sanvido [5]
25David Shuffelton [34] [40]
26Grégoire Sutre [3] [4] [6]
27Zachary Tatlock [40]
28Chris Tucker [34] [40]
29Amin Vahdat [32] [33]
30Jan Wen Voung [36] [38]
31Westley Weimer [4]
32Ru-Gang Xu [25] [29]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)