Ranjit Jhala

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

PLDI 2019Committee Member in External Program Committee within the Research Papers-track
POPL 2019Committee Member in Steering Committee
PLMW @ ICFP 2018Committee Member in Speakers within the PLMW @ ICFP 2018-track
Speaker of An opinionated talk on how to give talks within the PLMW @ ICFP 2018-track
VMCAI 2018Author of Reasoning about Functions within the VMCAI 2018-track
invited speaker in Invited Speakers within the VMCAI 2018-track
PLDI 2018Keynote Speaker of Language-Integrated Verification within the PLDI Invited Speakers-track
ICFP 2017Author of Local Refinement Typing within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
POPL 2018Author of Refinement Reflection: Complete Verification with SMT within the Artifact Evaluation-track
Session Chair of Awards & Keynote-I (part of Research Papers)
General Chair of Welcome to POPL 2018 within the Research Papers-track
Committee Member in Steering Committee
Session Chair of Business Meeting (part of Research Papers)
Author of Refinement Reflection: Complete Verification with SMT within the Research Papers-track
Committee Member in Selection Committee within the Workshops-track
General Chair of Chairs' Report within the Research Papers-track
General Chair in Organizing Committee
Haskell 2016Committee Member in Program Committee within the Haskell-track
POPL 2017Committee Member in Program Committee within the POPL-track
Speaker of POPL 2018 presentation within the POPL-track
SPLASH 2017Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track
Author of Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis within the OOPSLA-track
PLDI 2017Committee Member in External Review Committee
Author of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
ICFP 2016Author of Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) within the Research Papers-track
PLMWAuthor of Refining Types with SMT within the PLMW-track
VMCAIAuthor of Predicate Abstraction for Linked Data Structures within the VMCAI-track
PLDI 2016Committee Member in Program Committee
Author of Refinement Types for TypeScript within the Research Papers-track
POPL 2016Author of Printing Floating-Point Numbers: A Faster, Always Correct Method within the Research Papers-track
SOAP 2015Committee Member in Program Committee within the SOAP-track
ESOP 2015Author of Type Targeted Testing within the ESOP-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015Author of Trust, but Verify: Two-Phase Typing for Dynamic Languages within the Research Track-track
SPLASH 2014Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2012Author of Dependent types for JavaScript within the OOPSLA Research Papers-track