Matthew Sotoudeh -

Registered user since Tue 25 Aug 2020

Name: Matthew Sotoudeh

Affiliation: University of California, Davis

Contributions

PLDI 2021	Author of Provable Repair of Deep Neural Networks within the PLDI-track
SAS 2020	Author of Abstract Neural Networks within the SAS-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
POPL 2020	Author of Bounded Model Checking of Deep Neural Network Controllers within the Student Research Competition-track