• Sign in
  • Sign up
conf.researchr.org / Matthew Sotoudeh
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2020 profile
  • SPLASH 2020 profile
  • SPLASH 2022 profile
Matthew Sotoudeh

Registered user since Tue 25 Aug 2020

Name:Matthew Sotoudeh
Affiliation:Stanford University
Personal website: https://masot.net

Contributions

2022

HATRA

  • Author of A Survey of Weak Reasoning Assistants within the Human Aspects of Types and Reasoning Assistants-track

LIVE

  • Author of System-Specific Interpreters Make Megasystems Friendlier within the Live Programming-track

SPLASH

  • Author of Abstract Neural Networks within the COVID Time Papers In Person-track
  • Session Chair of Onward! Papers and Essays (part of COVID Time Papers In Person)

PLDI

  • Author of (PLDI 2021) Provable Repair of Deep Neural Networks within the SIGPLAN Track-track

2021

PLDI

  • Author of Provable Repair of Deep Neural Networks within the PLDI-track

2020

SPLASH

  • Author of Analogy-Making as a Core Primitive in the Software Engineering Toolbox within the Onward! Papers-track
  • Author of Analogy-Making as a Core Primitive in the Software Engineering Toolbox within the Posters-track

Static Analysis Symposium

  • Author of Abstract Neural Networks within the SAS-track

POPL

  • Author of Bounded Model Checking of Deep Neural Network Controllers within the Student Research Competition-track
Share
xWed 18 Jun 13:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up