• Automated Formal Verification of a Software Fault Isolation System (short paper)
  Matthew Sotoudeh and Zachary Yedidia
  FMCAD 2025 (to appear)
  
• Deterministic Client: Enforcing Determinism on Untrusted Machine Code
  Zachary Yedidia, Geoffrey Ramseyer, David Mazières
  OSDI 2025
  
• Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures
  Shravan Narayan, Tal Garfinkel, Evan Johnson, Zachary Yedidia, Yingchen Wang, Andrew Brown, Anjo Vahldiek-Oberwagner, Michael LeMay, Wenyong Huang, Xin Wang, Mingqiu Sun, Dean Tullsen, Deian Stefan
  ASPLOS 2025
  
• Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing
  Zachary Yedidia
  ASPLOS 2024
  
• Fast Incremental PEG Parsing
  Zachary Yedidia and Stephen Chong
  SLE 2021
  Best paper award
• Precision Batching: Bitserial Decomposition for Efficient Neural Network Inference on GPUs
  Maximilian Lam, Zachary Yedidia, Colby Banbury, Vijay Janapa Reddi
  PACT 2021
  

• DeCl: Deterministic and Metered Native Sandboxes
  Zachary Yedidia, Geoffrey Ramseyer, David Mazières
  SIB 2024 (no proceedings)
  

Talks