Registered user since Tue 20 Dec 2016
Name: Ranjit Jhala
Bio: I am an Associate Professor in the Department of Computer Science, Jacobs School of Engineering, at the University of California, San Diego, CA, USA.
Research Interests: 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.
Affiliation: University of California, San Diego
Personal website: http://goto.ucsd.edu/~rjhala/
POPL 2016 Activities
- Author of Refining Types with SMT within the PLMW-track in PLMW
- Author of Printing Floating-Point Numbers: A Faster, Always Correct Method within the Research Papers-track in POPL 2016
- Author of Predicate Abstraction for Linked Data Structures within the VMCAI-track in VMCAI
- Show activities from other conferences
View general profile