Home
Publications
Conference Papers
- LFI-XL: Scaling Software-Based Sandboxing to Modern Applications
Zachary Yedidia, Abhishek Sharma, Anand Balaji, Taehyun Noh, Tal Garfinkel, Hovav Shacham, Shravan Narayan
IEEE S&P 2027 (to appear)
- 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
Honorable mention for best paper award
- 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
Workshop Papers
Talks
- LFI-XL: Scaling Software Fault Isolation Beyond 4GiB
Bay Area Security Day (October 2026)
- Lightweight Fault Isolation in LLVM, One Year Later
LLVM Developers' Meeting (Quick Talk) (October 2026)
- Lightweight Fault Isolation in LLVM: Current Support and Future Directions
LLVM Memory Safety Workshop (October 2026)
- Kage: device driver isolation in the Linux kernel with LFI
Linux Plumbers Conference (Toolchains Track) (October 2026)
- Securing Android's Audio Codecs with Lightweight Fault Isolation
Google LLVM Summit (August 2026)
- Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine
ORCA Tech Talk (August 2026)
- Enabling Bare-Metal Smart Contracts With Deterministic Client
Stanford IORH Mini-Conference (July 2026)
- Quark: Compiler Extensions for Post-Link Instrumentation
Stanford Security Workshop (April 2026)
- Enabling Bare-Metal Smart Contracts With Deterministic Client
Stanford FDCI Seminar (March 2026)
- Lightweight Fault Isolation: From Research to Production Sandboxing
Stanford Security Lunch (March 2026)
- Lightweight Fault Isolation: LLVM Support for Efficient Native Code Sandboxing
LLVM Developers' Meeting (October 2025)
- Lightweight Fault Isolation: LLVM Support for Efficient Native Code Sandboxing
LLVM Memory Safety WG (September 2025)
- Securing Native Libraries on Android with Lightweight Fault Isolation (LFI)
Google LLVM Summit (August 2025)
- Deterministic Client: Enforcing Determinism on Untrusted Machine Code
OSDI (July 2025)
- Deterministic Client: Enforcing Determinism on Untrusted Machine Code
MIT DCI (May 2025)
- Securing Native Libraries on Android with LFI
Qualcomm Product Security Summit (May 2025)
- Deterministic Client: Enforcing Determinism on Untrusted Machine Code
Stanford Security Workshop (April 2025)
- Lightweight Fault Isolation
Software Compartmentalization Community Tech Talk (April 2025)
- Deterministic Client: Enforcing Determinism on Untrusted Machine Code
Stanford Security Lunch (March 2025)
- Sandboxing Native Libraries on Android with Lightweight Fault Isolation (LFI)
Google Android Bootcamp (February 2025)
- DeCl: Deterministic and Metered Native Sandboxes
SIB (September 2024)
- DeCl: Deterministic and Metered Native Sandboxes
Stanford Software Lunch (July 2024)
- Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing
ASPLOS (April 2024)
- Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing
Stanford Security Workshop (April 2024)
- Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing
Stanford Security Lunch (November 2023)
- Classic Software Fault Isolation and WebAssembly
WebAssembly Research Day (October 2023)
- Multiplix: using D for kernel development
DConf (September 2023)
- Fast Incremental PEG Parsing
SLE (November 2021)
- Fast Incremental PEG Parsing
Stanford Software Lunch (November 2021)
Posters
- Beyond Bounds Checks: Reducing Overheads in Embedded WebAssembly
Nicole Mulvey, Leon Schuermann, Zachary Yedidia, Philip Levis
OSDI 2026
- Lightweight Fault Isolation for RISC-V
Nicole Mulvey and Zachary Yedidia
RISC-V Summit 2025
- Link-time Instrumentation with Quark
Michael Paper and Zachary Yedidia
OSDI 2025
- Stateless SFI: Safer and Faster Machine Code Validation
Zachary Yedidia, Matthew Sotoudeh, David Mazières
OSDI 2024
- Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing
Zachary Yedidia
ASPLOS 2024
- Using Debug Hardware to Build Tiny and Effective Dynamic Kernel Checkers
Zachary Yedidia, Akshay Srivatsan, Manya Bansal, Dawson Engler
SOSP 2023