Registered user since Tue 20 Dec 2016
Name:Ranjit Jhala
Bio:
Nom nom. Chomp. Burp.
Country:United States
Affiliation:University of California, San Diego
Personal website: http://ranjitjhala.github.io
Research interests:Programming Languages, Formal Verification, Software Engineering
Contributions
2018
POPL
- Refinement Reflection: Complete Verification with SMT
- Session Chair of Awards & Keynote-I (part of Research Papers)
- Welcome to POPL 2018
- Committee Member in Steering Committee
- Session Chair of Business Meeting (part of Research Papers)
- Refinement Reflection: Complete Verification with SMT
- Committee Member in Selection Committee within the Workshops-track
- Chairs' Report
- General Chair in Organizing Committee
POPL 2018-profile
View general profile
View general profile