VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Ranjit Jhala

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

Contributions

PLMW Refining Types with SMT
VMCAI Predicate Abstraction for Linked Data Structures
POPL 2016 Printing Floating-Point Numbers: A Faster, Always Correct Method
Show activities from other conferences

POPL 2016-profile
View general profile