Ranjit Jhala

	2012
60		Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala: Nested refinements: a logic for duck typing. POPL 2012: 231-244
59		Ranjit Jhala: Software Verification with Liquid Types. VMCAI 2012: 23
	2011
58		Ranjit Jhala, Wouter Swierstra: Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011 ACM 2011
57		Ranjit Jhala, David A. Schmidt: Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings Springer 2011
56		Ranjit Jhala: Software Verification with Liquid Types. APLAS 2011: 3
55		Joel Coburn, Adrian M. Caulfield, Ameen Akel, Laura M. Grupp, Rajesh K. Gupta, Ranjit Jhala, Steven Swanson: NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories. ASPLOS 2011: 105-118
54		Ranjit Jhala: Using Types for Software Verification. CAV 2011: 20
53		Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko: HMC: Verifying Functional Programs Using Abstract Interpreters. CAV 2011: 470-485
52		Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala: System D: Dependent Dynamic Dictionaries CoRR abs/1103.5055: (2011)
51		Ravi Chugh, Ranjit Jhala: Dependent Types for JavaScript CoRR abs/1112.4106: (2011)
	2010
50		Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham: An empirical study of privacy-violating information flows in JavaScript web applications. ACM Conference on Computer and Communications Security 2010: 270-283
49		Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala: Dsolve: Safety Verification via Liquid Types. CAV 2010: 123-126
48		Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala: Low-level liquid types. POPL 2010: 131-144
47		Charles Edwin Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala: Finding latent performance bugs in systems implementations. SIGSOFT FSE 2010: 17-26
46		Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko: Refinement type inference via abstract interpretation CoRR abs/1004.2884: (2010)
	2009
45		Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala: Type-based data structure verification. PLDI 2009: 304-315
44		Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner: Staged information flow for javascript. PLDI 2009: 50-62
43		Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat: Building Distributed Systems Using Mace. Peer-to-Peer Computing 2009: 91-92
42		Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar: Verifying Reference Counting Implementations. TACAS 2009: 352-367
41		Ranjit Jhala, Rupak Majumdar: Software model checking. ACM Comput. Surv. 41(4): (2009)
	2008
40		Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: Deep typechecking and refactoring. OOPSLA 2008: 37-52
39		Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala: Liquid types. PLDI 2008: 159-169
38		Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner: Dataflow analysis for concurrent programs using datarace detection. PLDI 2008: 316-326
	2007
37		Ranjit Jhala, Kenneth L. McMillan: Array Abstractions from Proofs. CAV 2007: 193-206
36		Jan Wen Voung, Ranjit Jhala, Sorin Lerner: RELAY: static race detection on millions of lines of code. ESEC/SIGSOFT FSE 2007: 205-214
35		Weihaw Chuang, Satish Narayanasamy, Brad Calder, Ranjit Jhala: Bounds Checking with Taint-Based Analysis. HiPEAC 2007: 71-86
34		Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: OPIUM: Optimal Package Install/Uninstall Manager. ICSE 2007: 178-188
33		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		Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat: Mace: language support for building distributed systems. PLDI 2007: 179-188
31		Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar: Lock allocation. POPL 2007: 291-296
30		Ranjit Jhala, Rupak Majumdar: Interprocedural analysis of asynchronous programs. POPL 2007: 339-350
29		Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: State of the Union: Type Inference Via Craig Interpolation. TACAS 2007: 553-567
28		Ranjit Jhala, Kenneth L. McMillan: Interpolant-Based Transition Relation Approximation CoRR abs/0706.0523: (2007)
27		Ranjit Jhala, Kenneth L. McMillan: Interpolant-Based Transition Relation Approximation. Logical Methods in Computer Science 3(4): (2007)
26		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
	2006
25		Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: Structural Invariants. SAS 2006: 71-87
24		Ranjit Jhala, Rupak Majumdar: Bit level types for high level reasoning. SIGSOFT FSE 2006: 128-140
23		Ranjit Jhala, Kenneth L. McMillan: A Practical and Complete Approach to Predicate Refinement. TACAS 2006: 459-473
	2005
22		Ranjit Jhala, Kenneth L. McMillan: Interpolant-Based Transition Relation Approximation. CAV 2005: 39-51
21		Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar: Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236
20		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
19		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
18		Ranjit Jhala, Rupak Majumdar: Path slicing. PLDI 2005: 38-47
17		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The BLAST Software Verification System. SPIN 2005: 25-26
16		Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
	2004
15		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
14		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
13		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
12		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Race checking by context inference. PLDI 2004: 1-13
11		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan: Abstractions from proofs. POPL 2004: 232-244
10		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
9		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
	2003
8		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
7		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-Guided Control. ICALP 2003: 886-902
6		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239
5		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
	2002
4		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		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70
	2001
2		Ranjit Jhala, Kenneth L. McMillan: Microarchitecture Verification by Compositional Model Checking. CAV 2001: 396-410
1		Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala: Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365

Coauthor Index

1	Ameen Akel	[55]
2	Luca de Alfaro	[1]
3	James W. Anderson	[32] [33] [43] [47]
4	Dirk Beyer	[9] [10] [13] [14] [15] [19] [26]
5	Ryan Braud	[32] [43] [47]
6	Brad Calder	[35]
7	Adrian M. Caulfield	[55]
8	Krishnendu Chatterjee	[16]
9	Adam Chlipala	[9] [10] [13] [15]
10	Weihaw Chuang	[35]
11	Ravi Chugh	[38] [44] [51] [52] [60]
12	Joel Coburn	[55]
13	Michael Emmi	[31] [42]
14	Jeffrey Fischer	[21]
15	Jeffrey S. Fischer	[31]
16	Laura M. Grupp	[55]
17	Rajesh K. Gupta (Rajesh Gupta)	[55]
18	Thomas A. Henzinger	[1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [20] [26]
19	Dongseok Jang	[50]
20	Ming Kawaguchi	[39] [45] [48] [49]
21	Charles Edwin Killian	[32] [33] [43] [47]
22	Eddie Kohler	[42]
23	Sorin Lerner	[34] [36] [38] [40] [44] [50]
24	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] [42] [46] [53]
25	Kenneth L. McMillan	[2] [11] [22] [23] [27] [28] [37]
26	Jeffrey A. Meister	[44]
27	Karthik Nagaraj	[47]
28	Satish Narayanasamy	[35]
29	George C. Necula	[4]
30	Salman Pervez	[47]
31	Shaz Qadeer	[8]
32	Patrick Maxim Rondon	[39] [45] [48] [49] [52] [60]
33	Andrey Rybalchenko	[46] [53]
34	Marco A. A. Sanvido	[5]
35	David A. Schmidt	[57]
36	Hovav Shacham	[50]
37	David Shuffelton	[34] [40]
38	Grégoire Sutre	[3] [4] [6]
39	Steven Swanson	[55]
40	Wouter Swierstra	[58]
41	Zachary Tatlock	[40]
42	Chris Tucker	[34] [40]
43	Amin Vahdat	[32] [33] [43]
44	Jan Wen Voung	[36] [38]
45	Westley Weimer	[4]
46	Ru-Gang Xu	[25] [29]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page