conf.researchr.org / 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
2025
2024
SPLASH
ICFP
- Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the Artifact Evaluation-track
- PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
- Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the ICFP Papers and Events-track
RTFM
2023
SPLASH
2022
SPLASH
PLDI
- 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›
2021
Static Analysis Symposium
SPLASH
ECOOP
PLDI
‹Programming›
2020
SPLASH
PLDI
2019
PLDI
- 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
2018
PLMW
POPL
- 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