Service

Program committee member

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

External reviewer

• ACM Transactions on Computer Systems (TOCS), 2023
• IEEE Transactions on Cloud Computing (TCC), 2023
• ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2018
• IEEE Computer Architecture Letters (CAL), 2018
• IEEE Computer Architecture Letters (CAL), 2016
• EuroSys Conference, 2015
• ACM Virtual Execution Environments (VEE), 2014
• IEEE Transactions on Computers (TOC), 2014
• IEEE Computer Architecture Letters (CAL), 2013
• ACM International Conference on Supercomputing (ICS), 2012
• USENIX Annual Technical Conference (ATC), 2011

Academic advising

• Gil Kupfer (Technion), “IOMMU-resistant DMA attacks,” 2016-2018, co-advising with Prof. Dan Tsafrir

Reported Security Vulnerabilities

• CVE-2021-4002: Missing TLB flush on hugetlbfs
• 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

Open Source Contributions

• Linux kernel
• QEMU emulator
• LLVM BPF compiler backend
• FreeBSD IOMMU