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

Personal website:http://ranjitjhala.github.io

Research interests:Programming Languages, Formal Verification, Software Engineering

Contributions

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
PLMW@PLDI 2023	Author of How to make a good talk? within the PLMW@PLDI 2023-track
SOAP 2023	Author of Flux: Refinement types for Rust within the SOAP 2023-track
PLDI 2023	Author of Flux: Liquid Types for Rust within the PLDI Research Papers-track
PriSC 2023	Author of Robust Constant-Time Cryptography within the PriSC 2023-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track Author of Seq2Parse: Neurosymbolic Parse Error Repair within the OOPSLA-track
PLDI 2022	Author of Welcome to PLDI 2022 within the PLDI-track Session Chair of Keynote: Margo Seltzer (part of PLDI) General Chair in Organizing Committee Author of (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the SIGPLAN Track-track Author of Business Meeting within the PLDI-track
‹Programming› 2022	ACM SIGPLAN observer in Steering Committee
POPL 2022	Author of Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI within the POPL-track Committee Member in Program Committee within the POPL-track
SAS 2021	Committee Member in Program Committee within the SAS-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 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the SIGPLAN Papers-track
HIW 2021	Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-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
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)
PLMW@PLDI 2021	Moderator of Panel on Advising and Research within the PLMW@PLDI 2021-track
‹Programming› 2021	SIGPLAN Observer in Steering Committee
POPL 2021	Author of Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the POPL-track
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
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
PLDI 2020	Author of Type Error Feedback via Analytic Program Repair within the PLDI Research Papers-track
PLMW@PLDI 2020	Speaker of Mentoring Talk: "How to design talks" within the PLMW@PLDI 2020-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
ICFP 2019	Committee Member in External Review Committee within the Research Papers-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
PLDI 2018	Keynote Speaker of Language-Integrated Verification within the PLDI Invited Speakers-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
VMCAI 2018	Author of Reasoning about Functions within the VMCAI 2018-track Invited Speaker in Invited Speakers within the VMCAI 2018-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
ICFP 2017	Author of Local Refinement Typing within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
PLDI 2017	Committee Member in External Review Committee Author of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
POPL 2017	Committee Member in Program Committee within the POPL-track Speaker of POPL 2018 presentation within the POPL-track
ICFP 2016	Author of Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) within the Research Papers-track
Haskell 2016	Committee Member in Program Committee within the Haskell-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
PLMW	Author of Refining Types with SMT within the PLMW-track
VMCAI	Author of Predicate Abstraction for Linked Data Structures within the VMCAI-track
ECOOP 2015	Author of Trust, but Verify: Two-Phase Typing for Dynamic Languages within the Research Track-track
PLDI 2015	Committee Member in External Review Committee 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
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