Ranjit Jhala - PLDI 2021

Sun 20 - Sat 26 June 2021 PLDI

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

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	Panel on Advising and Research
Show activities from other conferences