• Sign in
  • Sign up
conf.researchr.org / Sanjit Seshia
  • 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
No Photo

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
xFri 23 May 03:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up