Matthew Sotoudeh

1. Literate Tracing
   2025/10/10 by Matthew Sotoudeh, Sotoudeh, Matthew · 5 voices
   Computer Science · #Software Engineering Research #Logic, programming, and type systems #Software Testing and Debugging Techniques
2. Automated Verification of Monotonic Data Structure Traversals in C
   2025/05/24 by Matthew Sotoudeh, Sotoudeh, Matthew · 2 voices
   #cs.PL #cs.LO
3. ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler
   2018/10/12 by Matthew Sotoudeh, Anand Venkat, Sotoudeh, Matthew +9 · 1 citation
   Computer Science · #Advanced Graph Neural Networks #Distributed #FOS: Computer and information sciences #Graph Theory and Algorithms #Machine Learning (cs.LG) #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)