| 2025 | CAV | Automated Verification of Monotonic Data Structure Traversals in C. | Matthew Sotoudeh |
| 2025 | DATE | Efficient SAT-Based Bounded Model Checking of Evolving Systems. | Sophie Andrews, Matthew Sotoudeh, Clark W. Barrett |
| 2025 | FMCAD | Automated Formal Verification of a Software Fault Isolation System. | Matthew Sotoudeh, Zachary Yedidia |
| 2024 | NSDI | Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols. | Gina Yuan, Matthew Sotoudeh, David K. Zhang, Michael Welzl, David Mazires, Keith Winstein |
| 2022 | HOTNETS | Sidecar: in-network performance enhancements in the age of paranoid transport protocols. | Gina Yuan, David K. Zhang, Matthew Sotoudeh, Michael Welzl, Keith Winstein |
| 2021 | PLDI | Provable repair of deep neural networks. | Matthew Sotoudeh, Aditya V. Thakur |
| 2021 | TACAS | SyReNN: A Tool for Analyzing Deep Neural Networks. | Matthew Sotoudeh, Aditya V. Thakur |
| 2020 | OOPSLA | Analogy-making as a Core primitive in the software engineering toolbox. | Matthew Sotoudeh, Aditya V. Thakur |
| 2020 | SAS | Abstract Neural Networks. | Matthew Sotoudeh, Aditya V. Thakur |
| 2019 | DAC | C3-Flow: Compute Compression Co-Design Flow for Deep Neural Networks. | Matthew Sotoudeh, Sara S. Baghsorkhi |