Matthew Sotoudeh

27 papers A* 3A 1B 2Misc 2Journal 15Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Automated Formal Verification of a Software Fault Isolation System. FMCAD Matthew Sotoudeh, Zachary Yedidia
2025	J	`jnl`	Automated Formal Verification of a Software Fault Isolation System. CoRR Matthew Sotoudeh, Zachary Yedidia
2025	—	`conf`	Automated Verification of Monotonic Data Structure Traversals in C. CAV (1) Matthew Sotoudeh
2025	J	`jnl`	Automated Verification of Monotonic Data Structure Traversals in C. CoRR Matthew Sotoudeh
2025	A	`conf`	Efficient SAT-Based Bounded Model Checking of Evolving Systems. DATE Sophie Andrews, Matthew Sotoudeh, Clark W. Barrett
2025	J	`jnl`	Literate Tracing. CoRR Matthew Sotoudeh
2025	J	`jnl`	Pathological Cases for a Class of Reachability-Based Garbage Collectors. CoRR Matthew Sotoudeh
2025	J	`jnl`	Pathological Cases for a Class of Reachability-Based Garbage Collectors. Proc. ACM Program. Lang. Matthew Sotoudeh
2024	Misc	`conf`	Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols. NSDI Gina Yuan, Matthew Sotoudeh, David K. Zhang, Michael Welzl, David Mazières, Keith Winstein
2023	J	`jnl`	SyReNN: A tool for analyzing deep neural networks. Int. J. Softw. Tools Technol. Transf. Matthew Sotoudeh, Zhe Tao, Aditya V. Thakur
2022	Misc	`conf`	Sidecar: in-network performance enhancements in the age of paranoid transport protocols. HotNets Gina Yuan, David K. Zhang, Matthew Sotoudeh, Michael Welzl, Keith Winstein
2022	J	`jnl`	System-Specific Interpreters Make Megasystems Friendlier. CoRR Matthew Sotoudeh
2021	J	`jnl`	Provable Repair of Deep Neural Networks. CoRR Matthew Sotoudeh, Aditya V. Thakur
2021	A*	`conf`	Provable repair of deep neural networks. PLDI Matthew Sotoudeh, Aditya V. Thakur
2021	—	`conf`	SyReNN: A Tool for Analyzing Deep Neural Networks. TACAS (2) Matthew Sotoudeh, Aditya V. Thakur
2021	J	`jnl`	SyReNN: A Tool for Analyzing Deep Neural Networks. CoRR Matthew Sotoudeh, Aditya V. Thakur
2020	B	`conf`	Abstract Neural Networks. SAS Matthew Sotoudeh, Aditya V. Thakur
2020	J	`jnl`	Abstract Neural Networks. CoRR Matthew Sotoudeh, Aditya V. Thakur
2020	J	`jnl`	Analogy-Making as a Core Primitive in the Software Engineering Toolbox. CoRR Matthew Sotoudeh, Aditya V. Thakur
2020	—	`conf`	Analogy-making as a Core primitive in the software engineering toolbox. Onward! Matthew Sotoudeh, Aditya V. Thakur
2019	J	`jnl`	A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks. CoRR Matthew Sotoudeh, Aditya V. Thakur
2019	A*	`conf`	C3-Flow: Compute Compression Co-Design Flow for Deep Neural Networks. DAC Matthew Sotoudeh, Sara S. Baghsorkhi
2019	A*	`conf`	Computing Linear Restrictions of Neural Networks. NeurIPS Matthew Sotoudeh, Aditya V. Thakur
2019	J	`jnl`	Computing Linear Restrictions of Neural Networks. CoRR Matthew Sotoudeh, Aditya V. Thakur
2019	—	`conf`	ISA mapper: a compute and hardware agnostic deep learning compiler. CF Matthew Sotoudeh, Anand Venkat, Michael J. Anderson, Evangelos Georganas, Alexander Heinecke, Jason Knight
2018	J	`jnl`	DeepThin: A Self-Compressing Library for Deep Neural Networks. CoRR Matthew Sotoudeh, Sara S. Baghsorkhi
2018	J	`jnl`	ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler. CoRR Matthew Sotoudeh, Anand Venkat, Michael J. Anderson, Evangelos Georganas, Alexander Heinecke, Jason Knight