Ranjit Jhala

Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala: Abstract Refinement Types. ESOP 2013: 209-228

Ranjit Jhala, Koen De Bosschere (Eds.): Compiler Construction - 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Lecture Notes in Computer Science 7791, Springer 2013, isbn 978-3-642-37050-2

Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala: CSolve: Verifying C with Liquid Types. CAV 2012: 744-750

Ravi Chugh, David Herman, Ranjit Jhala: Dependent types for JavaScript. OOPSLA 2012: 587-606

Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala: Deterministic parallelism via liquid effects. PLDI 2012: 45-54

Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner: Verifying GPU kernels by test amplification. PLDI 2012: 383-394

Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala: Nested refinements: a logic for duck typing. POPL 2012: 231-244

Ranjit Jhala: Software Verification with Liquid Types. VMCAI 2012: 23

Ranjit Jhala, Atsushi Igarashi (Eds.): Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7705, Springer 2012, isbn 978-3-642-35181-5

Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. CoRR abs/1207.1373 (2012)

Ranjit Jhala: Software Verification with Liquid Types. APLAS 2011: 3

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

Ranjit Jhala: Using Types for Software Verification. CAV 2011: 20

Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko: HMC: Verifying Functional Programs Using Abstract Interpreters. CAV 2011: 470-485

Ranjit Jhala, Wouter Swierstra (Eds.): Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. ACM 2011, isbn 978-1-4503-0487-0

Ranjit Jhala, David A. Schmidt (Eds.): Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Lecture Notes in Computer Science 6538, Springer 2011, isbn 978-3-642-18274-7

Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala: System D: Dependent Dynamic Dictionaries. CoRR abs/1103.5055 (2011)

Ravi Chugh, Ranjit Jhala: Dependent Types for JavaScript. CoRR abs/1112.4106 (2011)

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala: Dsolve: Safety Verification via Liquid Types. CAV 2010: 123-126

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

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala: Low-level liquid types. POPL 2010: 131-144

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

Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko: Refinement type inference via abstract interpretation. CoRR abs/1004.2884 (2010)

Ranjit Jhala, Rupak Majumdar: Software model checking. ACM Comput. Surv. 41(4) (2009)

Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat: Building Distributed Systems Using Mace. Peer-to-Peer Computing 2009: 91-92

Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner: Staged information flow for javascript. PLDI 2009: 50-62

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala: Type-based data structure verification. PLDI 2009: 304-315

Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar: Verifying Reference Counting Implementations. TACAS 2009: 352-367

Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: Deep typechecking and refactoring. OOPSLA 2008: 37-52

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala: Liquid types. PLDI 2008: 159-169

Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner: Dataflow analysis for concurrent programs using datarace detection. PLDI 2008: 316-326

Ranjit Jhala, Kenneth L. McMillan: Interpolant-Based Transition Relation Approximation. Logical Methods in Computer Science 3(4) (2007)

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)

Ranjit Jhala, Kenneth L. McMillan: Array Abstractions from Proofs. CAV 2007: 193-206

Weihaw Chuang, Satish Narayanasamy, Brad Calder, Ranjit Jhala: Bounds Checking with Taint-Based Analysis. HiPEAC 2007: 71-86

Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: OPIUM: Optimal Package Install/Uninstall Manager. ICSE 2007: 178-188

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

Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat: Mace: language support for building distributed systems. PLDI 2007: 179-188

Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar: Lock allocation. POPL 2007: 291-296

Ranjit Jhala, Rupak Majumdar: Interprocedural analysis of asynchronous programs. POPL 2007: 339-350

Jan Wen Voung, Ranjit Jhala, Sorin Lerner: RELAY: static race detection on millions of lines of code. ESEC/SIGSOFT FSE 2007: 205-214

Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: State of the Union: Type Inference Via Craig Interpolation. TACAS 2007: 553-567

Ranjit Jhala, Kenneth L. McMillan: Interpolant-Based Transition Relation Approximation. CoRR abs/0706.0523 (2007)

Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: Structural Invariants. SAS 2006: 71-87

Ranjit Jhala, Rupak Majumdar: Bit level types for high level reasoning. SIGSOFT FSE 2006: 128-140

Ranjit Jhala, Kenneth L. McMillan: A Practical and Complete Approach to Predicate Refinement. TACAS 2006: 459-473

Ranjit Jhala, Kenneth L. McMillan: Interpolant-Based Transition Relation Approximation. CAV 2005: 39-51

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18

Ranjit Jhala, Rupak Majumdar: Path slicing. PLDI 2005: 38-47

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40

Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar: Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The BLAST Software Verification System. SPIN 2005: 25-26

Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Race checking by context inference. PLDI 2004: 1-13

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan: Abstractions from proofs. POPL 2004: 232-244

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-Guided Control. ICALP 2003: 886-902

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239

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

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70

Ranjit Jhala, Kenneth L. McMillan: Microarchitecture Verification by Compositional Model Checking. CAV 2001: 396-410

Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala: Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365