Ranjit Jhala

I am a Professor of Computer Science Engineering in the Jacobs School of Engineering at the University of California, San Diego

Contact

Office: CSE 3110
Phone: (858) 534 1420
Email: jhala@cs.ucsd.edu
Parking: CSE Visitor Parking Map

Research

I am interested in Programming Languages and Software Engineering, specifically, in techniques for building reliable computer systems. My work draws from, combines and contributes to the areas of Type Systems, Model Checking, Program Analysis and Automated Deduction, with my fantastic students in the Programming Systems Group. Current projects include:

Flux [PLDI 2023]
Interaction-based Program Analytics [OOPSLA 2022], [PLDI 2020], [OOPSLA 2017], [ICFP 2016],
Liquid Haskell [OSDI 2021], [PLDI 2019], [POPL 2018], [ICFP 2017], [ICFP 2015], [Blog]
Timing Channels [CCS 2021], [USENIX Sec 2019], [PLDI 2019], [CCS 2018], [S&P 2015]

See my papers for more.

Teaching

CAV 2019 Tutorial:

Verification with Refinement Types

Some general nuggets:

ICFP @ PLMW 2018: How to design talks

Currently I am teaching:

Spring 2024 : CSE 231: Compilers

Twitter

Tweets by @ranjitjhala