Ranjit Jhala Assistant Professor Computer Science Department Jacobs School of Engineering University of California, San Diego Office: EBU3B 3110 Phone: (858) 534 1420 Email: jhala AT cs DOT ucsd DOT edu

Research

I am interested in Programming Languages and Software Engineering, more specifically, in techniques for building reliable computer systems. My work draws from, combines and contributes to the areas of Model Checking, Program Analysis and Automated Deduction.

• Publications
• UCSD Programming Systems
• Liquid Types Dependent Type Inference via Predicate Abstraction [Demo] [PLDI 08] [PLDI 09] [POPL 10]
• RELAY Scalable, Lock-Sensitive Analysis of Concurrent Programs [FSE 07] [PLDI 08]
• MACE/MC Language support for building distributed systems [PLDI 07] [NSDI 07]
• BLAST Verifying C Programs using Lazy Abstraction [POPL 02] [POPL 04] [FSE 05] [TACAS 06]

Students

• Ravi Chugh
• Ming Kawaguchi
• Patrick Rondon
• Zach Tatlock
• Jan Wen Voung

Teaching

• Winter 2010: CSE 230: Graduate Programming Languages