2023

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

[2]Marcos K. Aguilera, Emmanuel Amaro, Nadav Amit, Erika Hunhoff, Anil Yelam, and Gerd Zellweger. 2023. Memory Disaggregation: Why Now and What Are the Challenges. ACM SIGOPS Operating Systems Review (OSR) 57, 1 (June 2023), 38–46. Details

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

2021

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

[2]Markuze Alex, Shay Vargaftik, Gil Kupfer, Boris Pismeny, Nadav Amit, Adam Morrison, and Dan Tsafrir. 2021. Characterizing, exploiting, and detecting DMA code injection vulnerabilities in the presence of an IOMMU. In European Conference on Computer Systems (EuroSys). Details

2020

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

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

2019

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

[2]Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv. 2019. Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions. In ACM Programming Language Design and Implementation (PLDI). Details

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

2018

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

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

2017

[1]Ilya Lesokhin, Haggai Eran, Shachar Raindel, Guy Shapiro, Sagi Grimberg, Liran Liss, Muli Ben-Yehuda, Nadav Amit, and Dan Tsafrir. 2017. Page Fault Support for Network Controllers. In ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 449–466. Details

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

[3]Marcos K. Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian, and Michael Wei. 2017. Remote memory in the age of fast networks. In ACM Symposium on Cloud Computing (SOCC). Details

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

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

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

2016

[1]Nadav Amit, Abel Gordon, Nadav Har’El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, and Dan Tsafrir. 2016. Bare-Metal Performance for Virtual Machines with Exitless Interrupts. Communications of the ACM (CACM) 59, 1 (2016), 108–116. Details

2015

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

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

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

2014

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

[2]Nadav Amit. 2014. Alleviating Virtualization Bottlenecks. PhD thesis. Technion-Israel Institute of Technology, Faculty of Computer Science. Details

2013

[1]Eitan Rosenfeld, Nadav Amit, and Dan Tsafrir. 2013. 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). Details

2012

[1]Abel Gordon, Nadav Amit, Nadav Har’El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, and Dan Tsafrir. 2012. ELI: Bare-Metal Performance for I/O Virtualization. In ACM Architectural Support for Programming Languages & Operating Systems (ASPLOS). Details

2011

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

2010

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