Sanjit Seshia -

Not registered as user yet

Name:Sanjit Seshia

Affiliation:UC Berkeley

Contributions

ECOOP 2023	Author of Building Code Transpilers for Domain-Specific Languages Using Program Synthesis within the Research Papers-track
NASA Formal Methods	Keynote Speaker of Design Automation for Verified AI-Based Autonomy within the NFM 2023-track
VMCAI 2022	Author of Satisfiability and Synthesis Modulo Oracles within the VMCAI 2022-track
ICSE 2020	Author of ICSE-10 Most Influential Paper Award within the ICSE 2020 Plenary Sessions-track
PLDI 2019	Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track
TACAS 2019	Committee Member in Program Committee within the TACAS 2019-track
AGERE 2018	Author of Compositional Programming and Testing of Actor Programs within the AGERE-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
PLDI 2016	Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
VMCAI	Committee Member in Program Committee
PLOOC 2015	Presenter of CPSGrader: Formal Methods for Lab-Based MOOCs within the PLOOC 2015-track