Matthew Sotoudeh

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Transport Protocol

Anti Unification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Gina Yuan, Matthew Sotoudeh, David K. Zhang, Michael Welzl, David Mazières, Keith Winstein
Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols. NSDI (2024)
Matthew Sotoudeh, Zhe Tao, Aditya V. Thakur
SyReNN: A tool for analyzing deep neural networks. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Gina Yuan, David K. Zhang, Matthew Sotoudeh, Michael Welzl, Keith Winstein
Sidecar: in-network performance enhancements in the age of paranoid transport protocols. HotNets (2022)
Matthew Sotoudeh
System-Specific Interpreters Make Megasystems Friendlier. CoRR (2022)
Matthew Sotoudeh, Aditya V. Thakur
SyReNN: A Tool for Analyzing Deep Neural Networks. CoRR (2021)
Matthew Sotoudeh, Aditya V. Thakur
SyReNN: A Tool for Analyzing Deep Neural Networks. TACAS (2) (2021)
Matthew Sotoudeh, Aditya V. Thakur
Provable repair of deep neural networks. PLDI (2021)
Matthew Sotoudeh, Aditya V. Thakur
Provable Repair of Deep Neural Networks. CoRR (2021)
Matthew Sotoudeh, Aditya V. Thakur
Abstract Neural Networks. SAS (2020)
Matthew Sotoudeh, Aditya V. Thakur
Analogy-Making as a Core Primitive in the Software Engineering Toolbox. CoRR (2020)
Matthew Sotoudeh, Aditya V. Thakur
Abstract Neural Networks. CoRR (2020)
Matthew Sotoudeh, Aditya V. Thakur
Analogy-making as a Core primitive in the software engineering toolbox. Onward! (2020)
Matthew Sotoudeh, Aditya V. Thakur
Computing Linear Restrictions of Neural Networks. NeurIPS (2019)
Matthew Sotoudeh, Aditya V. Thakur
Computing Linear Restrictions of Neural Networks. CoRR (2019)
Matthew Sotoudeh, Anand Venkat, Michael J. Anderson, Evangelos Georganas, Alexander Heinecke, Jason Knight
ISA mapper: a compute and hardware agnostic deep learning compiler. CF (2019)
Matthew Sotoudeh, Aditya V. Thakur
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks. CoRR (2019)
Matthew Sotoudeh, Sara S. Baghsorkhi
C3-Flow: Compute Compression Co-Design Flow for Deep Neural Networks. DAC (2019)
Matthew Sotoudeh, Sara S. Baghsorkhi
DeepThin: A Self-Compressing Library for Deep Neural Networks. CoRR (2018)
Matthew Sotoudeh, Anand Venkat, Michael J. Anderson, Evangelos Georganas, Alexander Heinecke, Jason Knight
ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler. CoRR (2018)