2025

[C-26] Anil Yelam, Stewart Grant, Saarth Deshpande, Nadav Amit, Radhika Niranjan Mysore, Amy Ousterhout, Marcos K. Aguilera, and Alex C. Snoeren. Eden: Developer-Friendly Application-Integrated Far Memory. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2025. Details

2024

[C-25] David Hildenbrand, Martin Schulz, and Nadav Amit. Every Mapping Counts in Large Amounts: Folio Accounting. In USENIX Annual Technical Conference (ATC), 2024. Details

2023

[C-24] Mathé Hertogh, Manuel Wiesinger, Sebastian Österlund, Marius Muench, Nadav Amit, Herbert Bos, and Cristiano Giuffrida. Quarantine: Mitigating Transient Execution Attacks with Physical Domain Isolation. In International Symposium on Research in Attacks, Intrusions, and Defenses (RAID), 2023. Details

[C-23] David Hildenbrand, Martin Schulz, and Nadav Amit. Copy-on-Pin: The Missing Piece for Correct Copy-on-Write. In ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2023. 176–191. Received Distinguished Artifact Award. Details

2021

[C-22] Markuze Alex, 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. In European Conference on Computer Systems (EuroSys), 2021. Details

[C-21] Nadav Amit, Michael Wei, and Dan Tsafrir. Dealing with (some of) the fallout from meltdown. In ACM International Conference on Systems and Storage (SysTor), 2021. Details

2020

[C-20] Nadav Amit, Amy Tai, and Michael Wei. Don’t shoot down TLB shootdowns! In European Conference on Computer Systems (EuroSys), 2020. Received Best Paper Award. Details

[C-19] Eitan Rosenfeld, Aviad Zuck, Nadav Amit, Michael Factor, and Dan Tsafrir. Raidp: replication with intra-disk parity. In European Conference on Computer Systems (EuroSys), 2020. Details

2019

[C-18] Nadav Amit, Fred Jacobs, and Michael Wei. JumpSwitches: Restoring the Performance of Indirect Branches In the Era of Spectre. In USENIX Annual Technical Conference (ATC), 2019. Details

[C-17] 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. In ACM Programming Language Design and Implementation (PLDI), 2019. Details

[C-16] Vilanova Lluı́s, Nadav Amit, and Yoav Etsion. Using SMT to Accelerate Nested Virtualization. In ACM International Symposium on Computer Architecture (ISCA), 2019. Details

2018

[C-15] Marcos K Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Stanko Novakovic, Arun Ramanathan, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, and others. Remote regions: a simple abstraction for remote memory. In USENIX Annual Technical Conference (ATC), 2018. Details

[C-14] Nadav Amit and Michael Wei. The Design and Implementation of Hyperupcalls. In USENIX Annual Technical Conference (ATC), 2018. 97–112. Received Best Paper Award. Details

2017

[C-11] 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. In ACM Symposium on Cloud Computing (SOCC), 2017. Details

[C-10] Nadav Amit, Michael Wei, and Tu Cheng-Chun. Hypercallbacks: Decoupling Policy Decisions and Execution. In ACM Workshop on Hot Topics in Operating Systems (HotOS), 2017. Details

[J-2] Nadav Amit, Michael Wei, and Cheng-Chun Tu. Hypercallbacks. ACM SIGOPS Operating Systems Review (OSR) 51, 1 (2017), 54–59. Details

[C-13] Nadav Amit and Michael Wei. Hypercallbacks: A New Mechanism for Trusted, Secure Introspection. In Workshop on System Software for Trusted Execution (SysTEX), 2017. Details

[C-12] Nadav Amit. Optimizing the TLB Shootdown Algorithm with Page Access Tracking. In USENIX Annual Technical Conference (ATC), 2017. Details

[C-9] 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. In ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2017. 449–466. Details

2016

[J-1] 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) 59, 1 (2016), 108–116. Details

2015

[C-8] Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, and Eran Shlomo. Virtual CPU validation. In ACM Symposium on Operating Systems Principles (SOSP), 2015. 311–327. Details

[C-6] Moshe Malka, Nadav Amit, and Dan Tsafrir. Efficient Intra-Operating System Protection Against Harmful DMAs. In USENIX File and Storage Technologies (FAST), 2015. Details

[C-7] Moshe Malka, Nadav Amit, Muli Ben-Yehuda, and Dan Tsafrir. rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers. In ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2015. 355–368. Details

2014

[T-1] Nadav Amit. Alleviating Virtualization Bottlenecks. PhD thesis. Technion-Israel Institute of Technology, Faculty of Computer Science. Received SPEC Distinguished Dissertation Award and ACM SIGOPS Dennis M. Ritchie Doctoral Dissertation Honorable Mention. Details

[C-5] Nadav Amit, Dan Tsafrir, and Assaf Schuster. VSWAPPER: A Memory Swapper for Virtualized Environments. In ACM Architectural Support for Programming Languages & Operating Systems (ASPLOS), 2014. 349–366. Details

2013

[C-4] Eitan Rosenfeld, Nadav Amit, and Dan Tsafrir. Using Disk Add-Ons to Withstand Simultaneous Disk Failures with Fewer Replicas. In Workshop on the Interaction amongst Virtualization, Operating Systems and Computer Architecture (WIVOSCA), 2013. Details

2012

[C-3] 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. In 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. Details

2011

[C-2] Nadav Amit, Muli Ben-Yehuda, Dan Tsafrir, and Assaf Schuster. vIOMMU: Efficient IOMMU emulation. In USENIX Annual Technical Conference (ATC), 2011. 73–86. Details

2010

[C-1] Nadav Amit, Muli Ben-Yehuda, and Ben-Ami Yassour. IOMMU: Strategies for mitigating the IOTLB bottleneck. In Computer Architecture, 2010. Springer Berlin Heidelberg, 256–274. Details