Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthew Sotoudeh
conf.researchr.org general profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2020 profile
SPLASH 2020 profile
SPLASH 2022 profile
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
x
Thu 21 Nov 16:35
