Publications

Conference Papers

  1. Nadav Amit and Michael Wei. DeepErr: Automatic Root-Cause Analysis of System Call Failures. ACM International Conference on Systems and Storage (SysTor), 2025. 🏆 Best Paper Award
  2. Anil Yelam, Stewart Grant, Saarth Deshpande, Nadav Amit, Radhika Niranjan Mysore, Amy Ousterhout and Marcos K. Aguilera and Alex C. Snoeren. Eden: Developer-Friendly Application-Integrated Far Memory. USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2025.
  3. David Hildenbrand, Martin Schulz and Nadav Amit. Every Mapping Counts in Large Amounts: Folio Accounting. USENIX Annual Technical Conference (ATC), 2024.
  4. David Hildenbrand, Martin Schulz and Nadav Amit. Copy-on-Pin: The Missing Piece for Correct Copy-on-Write. ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2023. 🏆 Distinguished Artifact Award
  5. Mathé Hertogh, Manuel Wiesinger, Sebastian Österlund, Marius Muench, Nadav Amit, Herbert Bos and Cristiano Giuffrida. Quarantine: Mitigating Transient Execution Attacks with Physical Domain Isolation. International Symposium on Research in Attacks, Intrusions, and Defenses (RAID), 2023.
  6. Alex Markuze, Shay Vargaftik, Gil Kupfer, Boris Pismeny, Nadav Amit, Adam Morrison and Dan Tsafrir. Characterizing, exploiting, and detecting DMA code injection vulnerabilities in the presence of an IOMMU. European Conference on Computer Systems (EuroSys), 2021.
  7. Nadav Amit, Michael Wei and Dan Tsafrir. Dealing with (some of) the fallout from meltdown. ACM International Conference on Systems and Storage (SysTor), 2021.
  8. Eitan Rosenfeld, Aviad Zuck, Nadav Amit, Michael Factor and Dan Tsafrir. RAIDP: Replication with Intra-Disk Parity. European Conference on Computer Systems (EuroSys), 2020.
  9. Nadav Amit, Amy Tai and Michael Wei. Don’t shoot down TLB shootdowns!. European Conference on Computer Systems (EuroSys), 2020. 🏆 Best Paper Award
  10. Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk and Mooly Sagiv. Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions. ACM Programming Language Design and Implementation (PLDI), 2019.
  11. Nadav Amit, Fred Jacobs and Michael Wei. JumpSwitches: Restoring the Performance of Indirect Branches In the Era of Spectre. USENIX Annual Technical Conference (ATC), 2019.
  12. Lluís Vilanova, Nadav Amit and Yoav Etsion. Using SMT to Accelerate Nested Virtualization. ACM International Symposium on Computer Architecture (ISCA), 2019.
  13. Nadav Amit and Michael Wei. The Design and Implementation of Hyperupcalls. USENIX Annual Technical Conference (ATC), 2018. 🏆 Best Paper Award
  14. Marcos K. Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Stanko Novakovic, Arun Ramanathan, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian and Michael Wei. Remote Regions: A Simple Abstraction for Remote Memory. USENIX Annual Technical Conference (ATC), 2018.
  15. Ilya Lesokhin, Haggai Eran, Shachar Raindel, Guy Shapiro, Sagi Grimberg, Liran Liss, Muli Ben-Yehuda, Nadav Amit and Dan Tsafrir. Page Fault Support for Network Controllers. ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2017.
  16. Marcos K. Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian and Michael Wei. Remote Memory in the Age of Fast Networks. ACM Symposium on Cloud Computing (SOCC), 2017.
  17. Nadav Amit. Optimizing the TLB Shootdown Algorithm with Page Access Tracking. USENIX Annual Technical Conference (ATC), 2017.
  18. Moshe Malka, Nadav Amit and Dan Tsafrir. Efficient Intra-Operating System Protection Against Harmful DMAs. USENIX File and Storage Technologies (FAST), 2015.
  19. Moshe Malka, Nadav Amit, Muli Ben-Yehuda and Dan Tsafrir. rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers. ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2015.
  20. Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub and Eran Shlomo. Virtual CPU validation. ACM Symposium on Operating Systems Principles (SOSP), 2015.
  21. Nadav Amit, Dan Tsafrir and Assaf Schuster. VSWAPPER: A Memory Swapper for Virtualized Environments. ACM Architectural Support for Programming Languages & Operating Systems (ASPLOS), 2014.
  22. Abel Gordon, Nadav Amit, Nadav Har’El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster and Dan Tsafrir. ELI: Bare-Metal Performance for I/O Virtualization. ACM Architectural Support for Programming Languages & Operating Systems (ASPLOS), 2012. 🏆 Received ACM SIGARCH/SIGPLAN/SIGOPS ASPLOS Influential Paper Award, the Pat Goldberg Memorial Best Paper Award and HiPEAC Award.
  23. Nadav Amit, Muli Ben-Yehuda, Dan Tsafrir and Assaf Schuster. vIOMMU: Efficient IOMMU emulation. USENIX Annual Technical Conference (ATC), 2011.
No matching items

Journal Articles

  1. Anil Yelam, Stewart Grant, Nadav Amit, Radhika Niranjan Mysore, Amy Ousterhout, Marcos K. Aguilera, and Alex C. Snoeren. A Developer-Friendly Approach to Application-Integrated Far Memory. ;login: USENIX Magazine, 2025.
  2. Marcos K. Aguilera, Emmanuel Amaro, Nadav Amit, Erika Hunhoff, Anil Yelam and Gerd Zellweger. Memory Disaggregation: Why Now and What Are the Challenges. ACM SIGOPS Operating Systems Review (OSR), 2023.
  3. Nadav Amit, Michael Wei and Cheng-Chun Tu. Hypercallbacks. ACM SIGOPS Operating Systems Review (OSR), 2017.
  4. Nadav Amit, Abel Gordon, Nadav Har’El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster and Dan Tsafrir. Bare-Metal Performance for Virtual Machines with Exitless Interrupts. Communications of the ACM (CACM), 2016.
No matching items

Workshop Papers

  1. Avidan Borisov, Nadav Amit, and Dan Tsafrir. Batching with End-to-End Performance Estimation. Workshop in Hot Topics in Operating Systems (HOTOS), 2025.
  2. Nadav Amit and Michael Wei. Hypercallbacks: A New Mechanism for Trusted, Secure Introspection. Workshop on System Software for Trusted Execution (SysTEX), 2017.
  3. Nadav Amit, Michael Wei and Tu Cheng-Chun. Hypercallbacks: Decoupling Policy Decisions and Execution. ACM Workshop on Hot Topics in Operating Systems (HotOS), 2017.
  4. Eitan Rosenfeld, Nadav Amit and Dan Tsafrir. Using Disk Add-Ons to Withstand Simultaneous Disk Failures with Fewer Replicas. Workshop on the Interaction amongst Virtualization, Operating Systems and Computer Architecture (WIVOSCA), 2013.
  5. Nadav Amit, Muli Ben-Yehuda and Ben-Ami Yassour. IOMMU: Strategies for Mitigating the IOTLB Bottleneck. Workshop on the Interaction between Operating Systems and Computer Architecture (WIOSCA), 2010.
No matching items

Technical Reports & Preprints

  1. Nadav Amit. Alleviating Virtualization Bottlenecks. PhD Thesis, Technion-Israel Institute of Technology, Faculty of Computer Science, 2014.
No matching items

Patents

Citation Metrics