Ranjit Jhala

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

Coauthor Index

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

Colors in the list of coauthors