Ranjit Jhala

Registered user since Tue 20 Dec 2016

Name:Ranjit Jhala
Bio:

Nom nom. Chomp. Burp.

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

Contributions

‹Programming› 2022 ACM SIGPLAN observer in Steering Committee
HIW 2021 Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-track
POPL 2022 Committee Member in Program Committee within the POPL-track
SAS 2021 Committee Member in Program Committee within the SAS-track
PLMW@PLDI 2021 Moderator of Panel on Advising and Research within the PLMW@PLDI 2021-track
SPLASH 2021 Committee Member in Onward! Steering Committee within the Onward! Essays-track
Committee Member in Onward! Steering Committee within the Onward! Papers-track
PLDI 2021 Committee Member in Steering Committee
Committee Member in Virtualization Committee
Committee Member in Program Committee within the PLDI-track
Session Chair of Ask Me Anything (part of Ask Me Anything)
HIW 2020 Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track
TyDe 2020 Committee Member in Program Committee within the TyDe 2020-track
POPL 2021 Author of Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the POPL-track
ECOOP 2021 Author of Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types within the ECOOP Technical Papers-track
Author of mist: Refinements of Futures Past within the ECOOP Artifacts-track
‹Programming› 2021 SIGPLAN Observer in Steering Committee
PLMW@PLDI 2020 Speaker of Mentoring Talk: "How to design talks" within the PLMW@PLDI 2020-track
ICFP 2021 Committee Member in Steering Committee
SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track
Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track
ICFP 2020 Author of Mentoring with Ranjit Jhala within the Social Events-track
PLDI 2020 Author of Type Error Feedback via Analytic Program Repair within the PLDI Research Papers-track
POPL 2020 Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track
APLAS 2019 Committee Member in Steering Committee
ASE 2019 Author of InFix: Automatically Repairing Novice Program Inputs within the Research Papers-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2019 Session Chair of Type Systems I (part of PLDI Research Papers)
Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track
Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
Committee Member in External Program Committee within the PLDI Research Papers-track
POPL 2019 Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track
Committee Member in Steering Committee
PLMW @ ICFP 2018 Committee 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
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
VMCAI 2018 Author of Reasoning about Functions within the VMCAI 2018-track
Invited Speaker in Invited Speakers within the VMCAI 2018-track
PLDI 2018 Keynote Speaker of Language-Integrated Verification within the PLDI Invited Speakers-track
ICFP 2017 Author of Local Refinement Typing within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
POPL 2018 Author 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 2016 Committee Member in Program Committee within the Haskell-track
POPL 2017 Committee Member in Program Committee within the POPL-track
Speaker of POPL 2018 presentation within the POPL-track
SPLASH 2017 Author 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 2017 Committee Member in External Review Committee
Author of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
ICFP 2016 Author of Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) within the Research Papers-track
PLMW Author of Refining Types with SMT within the PLMW-track
VMCAI Author of Predicate Abstraction for Linked Data Structures within the VMCAI-track
PLDI 2016 Committee Member in Program Committee
Author of Refinement Types for TypeScript within the Research Papers-track
POPL 2016 Author of Printing Floating-Point Numbers: A Faster, Always Correct Method within the Research Papers-track
SOAP 2015 Committee Member in Program Committee within the SOAP-track
ESOP 2015 Author of Type Targeted Testing within the ESOP-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015 Author of Trust, but Verify: Two-Phase Typing for Dynamic Languages within the Research Track-track
SPLASH 2014 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2012 Author of Dependent types for JavaScript within the OOPSLA Research Papers-track