Nadav Amit received a Ph.D. in computer science from Technion University in 2014. His dissertation presented practical approaches to alleviate the overheads that are associated with uncooperative hardware virtualization. His dissertation was awarded the SPEC Distinguished Dissertation Award and Dennis M. Ritchie SIGOPS Doctoral Dissertation Honorable Mention. [publications]

Open source contributions:

• Linux improvements of TLB flushes performance, and fixes of correctness and security issues.
• Linux's VMware balloon driver maintainer, adding various enhancements.
• Enabling open-source hypervisor tests to run on bare metal.

Member of the following program committees:

• ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2019, 2023
• ACM International Conference on Virtual Execution Environments (VEE), 2020, 2022
• ACM International Systems and Storage Conference (SYSTOR), 2017-2018, 2020, 2022
• USENIX Operating Systems Design and Implementation (OSDI), 2021
• USENIX Annual Technical Conference (ATC), 2017, 2019
• ACM Symposium on Cloud Computing (SoCC), 2018
• ACM Workshop on Systems for Multi-core and Heterogeneous Architectures (SFMA), 2018
• World Wide Web Conference (WWW), 2017

Reported Security Vulnerabilities:

• CVE-2018-15594: Linux vulnerability to Spectre-v2 under KVM & Xen
• CVE-2015-0239: KVM hypervisor SYSENTER emulation vulnerability
• CVE-2014-3610: KVM hypervisor WRMSR emulation vulnerability
• CVE-2014-3647: KVM hypervisor RIP changing emulation vulnerability
• CVE-2014-7842: KVM hypervisor emulation failure vulnerability
• CVE-2014-8480: KVM hypervisor NULL dereference vulnerability
• CVE-2014-8481: KVM hypervisor NULL dereference vulnerability