DeepThin: A Self-Compressing Library for Deep Neural Networks. - Matthew Sotoudeh; Sara S. Baghsorkhi (CoRR, 2018)

ISA mapper: a compute and hardware agnostic deep learning compiler. - Matthew Sotoudeh; Anand Venkat; Michael J. Anderson; Evangelos Georganas; Alexander Heinecke; Jason Knight (CF, 2019)

C3-Flow: Compute Compression Co-Design Flow for Deep Neural Networks. - Matthew Sotoudeh; Sara S. Baghsorkhi (DAC, 2019)

Computing Linear Restrictions of Neural Networks. - Matthew Sotoudeh; Aditya V. Thakur (NeurIPS, 2019)

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks. - Matthew Sotoudeh; Aditya V. Thakur (CoRR, 2019)

Analogy-making as a Core primitive in the software engineering toolbox. - Matthew Sotoudeh; Aditya V. Thakur (Onward!, 2020)

Abstract Neural Networks. - Matthew Sotoudeh; Aditya V. Thakur (SAS, 2020)

Provable repair of deep neural networks. - Matthew Sotoudeh; Aditya V. Thakur (PLDI, 2021)

SyReNN: A Tool for Analyzing Deep Neural Networks. - Matthew Sotoudeh; Aditya V. Thakur (TACAS (2), 2021)

Sidecar: in-network performance enhancements in the age of paranoid transport protocols. - Gina Yuan; David K. Zhang; Matthew Sotoudeh; Michael Welzl; Keith Winstein (HotNets, 2022)

System-Specific Interpreters Make Megasystems Friendlier. - Matthew Sotoudeh (CoRR, 2022)

SyReNN: A tool for analyzing deep neural networks. - Matthew Sotoudeh; Zhe Tao; Aditya V. Thakur (Int. J. Softw. Tools Technol. Transf., 2023)

Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols. - Gina Yuan; Matthew Sotoudeh; David K. Zhang; Michael Welzl; David Mazières; Keith Winstein (NSDI, 2024)

Automated Verification of Monotonic Data Structure Traversals in C. - Matthew Sotoudeh (CAV (1), 2025)

Efficient SAT-Based Bounded Model Checking of Evolving Systems. - Sophie Andrews; Matthew Sotoudeh; Clark W. Barrett (DATE, 2025)

Pathological Cases for a Class of Reachability-Based Garbage Collectors. - Matthew Sotoudeh (Proc. ACM Program. Lang., 2025)