Matthew Sotoudeh -

Registered user since Tue 25 Aug 2020

Name:Matthew Sotoudeh

Affiliation:Stanford University

Personal website:https://masot.net

Contributions

HATRA 2022	Author of A Survey of Weak Reasoning Assistants within the Human Aspects of Types and Reasoning Assistants-track
LIVE 2022	Author of System-Specific Interpreters Make Megasystems Friendlier within the Live Programming-track
SPLASH 2022	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 2022	Author of (PLDI 2021) Provable Repair of Deep Neural Networks within the SIGPLAN Track-track
PLDI 2021	Author of Provable Repair of Deep Neural Networks within the PLDI-track
SPLASH 2020	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
SAS 2020	Author of Abstract Neural Networks within the SAS-track
POPL 2020	Author of Bounded Model Checking of Deep Neural Network Controllers within the Student Research Competition-track