• Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine
  Abhishek Sharma, Anand Balaji, Zachary Yedidia, Anthony Du, Taehyun Noh, Iain Ireland, Jan de Mooij, Matthew Gaudet, Tal Garfinkel, Deian Stefan, Hovav Shacham, Shravan Narayan
  OSDI 2026 (to appear)
  
• Automated Formal Verification of a Software Fault Isolation System (short paper)
  Matthew Sotoudeh and Zachary Yedidia
  FMCAD 2025
  
• 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)
  

Posters