Nadav Amit

According to our database, Nadav Amit authored at least 28 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Every Mapping Counts in Large Amounts: Folio Accounting.

David Hildenbrand, Martin Schulz, Nadav Amit

Proceedings of the 2024 USENIX Annual Technical Conference, 2024

2023

Memory disaggregation: why now and what are the challenges.

Marcos K. Aguilera, Emmanuel Amaro, Nadav Amit, Erika Hunhoff, Anil Yelam, Gerd Zellweger

ACM SIGOPS Oper. Syst. Rev., 2023

Quarantine: Mitigating Transient Execution Attacks with Physical Domain Isolation.

Mathé Hertogh, Manuel Wiesinger, Sebastian Österlund, Marius Muench, Nadav Amit, Herbert Bos, Cristiano Giuffrida

Proceedings of the 26th International Symposium on Research in Attacks, 2023

Copy-on-Pin: The Missing Piece for Correct Copy-on-Write.

David Hildenbrand, Martin Schulz, Nadav Amit

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021

Dealing with (some of) the fallout from meltdown.

Nadav Amit, Michael Wei, Dan Tsafrir

Proceedings of the SYSTOR '21: The 14th ACM International Systems and Storage Conference, 2021

Characterizing, exploiting, and detecting DMA code injection vulnerabilities in the presence of an IOMMU.

Alex Markuze, Shay Vargaftik, Gil Kupfer, Boris Pismenny, Nadav Amit, Adam Morrison, Dan Tsafrir

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

RAIDP: replication with intra-disk parity.

Eitan Rosenfeld, Aviad Zuck, Nadav Amit, Michael Factor, Dan Tsafrir

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

Don't shoot down TLB shootdowns!

Nadav Amit, Amy Tai, Michael Wei

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

Leveraging Hyperupcalls To Bridge The Semantic Gap: An Application Perspective.

Michael Wei, Nadav Amit

IEEE Data Eng. Bull., 2019

JumpSwitches: Restoring the Performance of Indirect Branches In the Era of Spectre.

Nadav Amit, Fred Jacobs, Michael Wei

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Simple and precise static analysis of untrusted Linux kernel extensions.

Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Using SMT to accelerate nested virtualization.

Lluís Vilanova, Nadav Amit, Yoav Etsion

Proceedings of the 46th International Symposium on Computer Architecture, 2019

2018

The Design and Implementation of Hyperupcalls.

Nadav Amit, Michael Wei

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Remote regions: a simple abstraction for remote memory.

Marcos K. Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Stanko Novakovic, Arun Ramanathan, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian, Michael Wei

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

2017

Hypercallbacks.

Nadav Amit, Michael Wei, Cheng-Chun Tu

ACM SIGOPS Oper. Syst. Rev., 2017

Optimizing the TLB Shootdown Algorithm with Page Access Tracking.

Nadav Amit

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Hypercallbacks: Decoupling Policy Decisions and Execution.

Nadav Amit, Michael Wei, Cheng-Chun Tu

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Remote memory in the age of fast networks.

Marcos K. Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian, Michael Wei

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Page Fault Support for Network Controllers.

Ilya Lesokhin, Haggai Eran, Shachar Raindel, Guy Shapiro, Sagi Grimberg, Liran Liss, Muli Ben-Yehuda, Nadav Amit, Dan Tsafrir

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Bare-metal performance for virtual machines with exitless interrupts.

Nadav Amit, Abel Gordon, Nadav Har'El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, Dan Tsafrir

Commun. ACM, 2016

2015

Virtual CPU validation.

Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Efficient Intra-Operating System Protection Against Harmful DMAs.

Moshe Malka, Nadav Amit, Dan Tsafrir

Proceedings of the 13th USENIX Conference on File and Storage Technologies, 2015

rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers.

Moshe Malka, Nadav Amit, Muli Ben-Yehuda, Dan Tsafrir

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Alleviating virtualization bottlenecks.

Nadav Amit

PhD thesis, 2014

VSwapper: a memory swapper for virtualized environments.

Nadav Amit, Dan Tsafrir, Assaf Schuster

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2012

ELI: bare-metal performance for I/O virtualization.

Abel Gordon, Nadav Amit, Nadav Har'El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, Dan Tsafrir

Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011

vIOMMU: Efficient IOMMU Emulation.

Nadav Amit, Muli Ben-Yehuda, Dan Tsafrir, Assaf Schuster

Proceedings of the 2011 USENIX Annual Technical Conference, 2011

2010

IOMMU: Strategies for Mitigating the IOTLB Bottleneck.

Nadav Amit, Muli Ben-Yehuda, Ben-Ami Yassour

Proceedings of the Computer Architecture, 2010