Zachary Yedidia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | 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 M. Tullsen, Deian Stefan |
| 2025 | FMCAD | Automated Formal Verification of a Software Fault Isolation System. | Matthew Sotoudeh, Zachary Yedidia |
| 2025 | OSDI | Deterministic Client: Enforcing Determinism on Untrusted Machine Code. | Zachary Yedidia, Geoffrey Ramseyer, David Mazires |
| 2024 | ASPLOS | Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing. | Zachary Yedidia |
| 2021 | SLE | Fast incremental PEG parsing. | Zachary Yedidia, Stephen Chong |