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
ISSTA/ECOOP 2024 profile
NASA Formal Methods 2023 profile
PLDI 2015 profile
PLDI 2016 profile
PLDI 2019 profile
POPL 2016 profile
POPL 2022 profile
SPLASH 2018 profile
Not registered as user
Name:
Sanjit Seshia
Affiliation:
UC Berkeley
Contributions
2024
ECOOP
Author of Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations within the Technical Papers-track
2023
ECOOP
Author of Building Code Transpilers for Domain-Specific Languages Using Program Synthesis within the Research Papers-track
NFM
Keynote Speaker of Design Automation for Verified AI-Based Autonomy within the NFM 2023-track
2022
VMCAI
Author of Satisfiability and Synthesis Modulo Oracles within the VMCAI 2022-track
2020
ICSE
Author of ICSE-10 Most Influential Paper Award within the ICSE 2020 Plenary Sessions-track
2019
PLDI
Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track
TACAS
Committee Member in Program Committee within the TACAS 2019-track
2018
AGERE
Author of Compositional Programming and Testing of Actor Programs within the AGERE-track
SPLASH
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
2016
PLDI
Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
VMCAI
Committee Member in Program Committee
2015
PLOOC
Presenter of CPSGrader: Formal Methods for Lab-Based MOOCs within the PLOOC 2015-track
Share
x
Sat 21 Dec 19:34