Sanjit Seshia -

Not registered as user yet

Name:Sanjit Seshia

Affiliation:UC Berkeley

Contributions

AGERE 2018	Author of Compositional Programming and Testing of Actor Programs within the AGERE-track
TACAS 2019	Committee Member in Program Committee within the TACAS 2019-track
PLDI 2019	Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track
ICSE 2020	Author of ICSE-10 Most Influential Paper Award within the ICSE 2020 Plenary Sessions-track
SPLASH 2018	Author of Compositional Programming and Testing of Dynamic Distributed Systems within the Posters-track Author of Compositional Programming and Testing of Dynamic Distributed Systems within the OOPSLA-track
VMCAI	Committee Member in Program Committee
PLDI 2016	Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
PLOOC 2015	Presenter of CPSGrader: Formal Methods for Lab-Based MOOCs within the PLOOC 2015-track