• Sign in
  • Sign up
conf.researchr.org / Sanjit Seshia
  • 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
xTue 30 May 10:53
using conf.researchr.org (v1.60.0)
Support page
Sign Up