Write a Blog >>
LCTES 2017
Wed 21 - Thu 22 June 2017 Barcelona, Spain
co-located with PLDI 2017
Ranjit Jhala

Registered user since Tue 20 Dec 2016

Name:Ranjit Jhala
Bio:

Nom nom. Chomp. Burp.

Country:United States
Affiliation:University of California at San Diego, USA
Research interests:Programming Languages, Formal Verification, Software Engineering

Contributions

PLDI 2017 Committee Member in External Review Committee
Refinement Types for Program Verification and Synthesis
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile