Matthew Sotoudeh

Orcid: 0000-0003-2060-1009

According to our database1, Matthew Sotoudeh authored at least 13 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023
SyReNN: A tool for analyzing deep neural networks.
Int. J. Softw. Tools Technol. Transf., April, 2023

2022
System-Specific Interpreters Make Megasystems Friendlier.
CoRR, 2022

Sidecar: in-network performance enhancements in the age of paranoid transport protocols.
Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022

2021
SyReNN: A Tool for Analyzing Deep Neural Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Provable repair of deep neural networks.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Abstract Neural Networks.
Proceedings of the Static Analysis - 27th International Symposium, 2020

Analogy-making as a Core primitive in the software engineering toolbox.
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks.
CoRR, 2019

Computing Linear Restrictions of Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

C3-Flow: Compute Compression Co-Design Flow for Deep Neural Networks.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

ISA mapper: a compute and hardware agnostic deep learning compiler.
Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018
DeepThin: A Self-Compressing Library for Deep Neural Networks.
CoRR, 2018


  Loading...