Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sanjit Seshia
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 profile
ICSE 2020 profile
NASA Formal Methods profile
PLDI 2015 profile
PLDI 2016 profile
PLDI 2019 profile
POPL 2016 profile
POPL 2022 profile
SPLASH 2018 profile
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
Share
x
Tue 30 May 10:53