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; Amazon Web Services
Research interests:Programming Languages, Formal Verification, Software Engineering

Contributions

PLDI 2022 Welcome to PLDI 2022
Session Chair of Keynote: Margo Seltzer (part of PLDI)
General Chair in Organizing Committee
(POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Business Meeting
Show activities from other conferences

Using general profile