Ranjit Jhala - PLDI 2019

Registered user since Tue 20 Dec 2016

Name:Ranjit Jhala

Bio:

Nom nom. Chomp. Burp.

Country:United States

Affiliation:University of California, San Diego

Research interests:Programming Languages, Formal Verification, Software Engineering

Contributions

PLDI 2019	Session Chair of Type Systems I (part of PLDI Research Papers) Lazy Counterfactual Symbolic Execution FaCT: A DSL for Timing-Sensitive Computation Committee Member in External Program Committee within the PLDI Research Papers-track
Show activities from other conferences