| 2025 | SOSP | CortenMM: Efficient Memory Management with Strong Correctness Guarantees. | Junyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang, Hao Chen, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, Hongliang Tian, Diyu Zhou |
| 2022 | USENIX | RRC: Responsive Replicated Containers. | Diyu Zhou, Yuval Tamir |
| 2021 | SIGCOMM | Campion: debugging router configuration differences. | Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese |
| 2020 | NSDI | Finding Network Misconfigurations by Automatic Template Inference. | Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese |
| 2019 | MICRO | PUSh: Data Race Detection Based on Hardware-Supported Prevention of Unintended Sharing. | Diyu Zhou, Yuval Tamir |
| 2018 | DSN | Fast Hypervisor Recovery Without Reboot. | Diyu Zhou, Yuval Tamir |
| 2011 | PRDC | Resilient Virtual Clusters. | Michael Le, Israel Hsu, Yuval Tamir |
| 2011 | VEE | ReHype: enabling VM survival across hypervisor failures. | Michael Le, Yuval Tamir |
| 2009 | NCA | Maintaining Network QoS Across NIC Device Driver Failures Using Virtualization. | Michael Le, Andrew Gallagher, Yuval Tamir, Yoshio Turner |
| 2005 | ISLPED | Understanding the energy efficiency of SMT and CMP with multiclustering. | Jason Cong, Ashok Jagannathan, Glenn Reinman, Yuval Tamir |
| 2002 | CLUSTER | Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware. | Ming Li, Wenchao Tao, Daniel Goldberg, Israel Hsu, Yuval Tamir |
| 2002 | ICCCN | Implementation and evaluation of transparent fault-tolerant Web service with kernel-level support. | Navid Aghdaie, Yuval Tamir |
| 1994 | SRDS | Coordinated Checkpointing-Rollback Error Recovery for Distributed Shared Memory Multicomputers. | G. Janakiraman, Yuval Tamir |
| 1991 | ICCD | Decomposed Arbiters for Large Crossbars with Multi-Queue Input Buffers. | Hsin-Chou Chi, Yuval Tamir |
| 1989 | ICCD | The design and implementation of a multi-queue buffer for VLSI communication switches. | Gregory L. Frazier, Yuval Tamir |
| 1988 | ISCA | High-Performance Multi-Queue Buffers for VLSI Communication Switches. | Yuval Tamir, Gregory L. Frazier |
| 1988 | RTSS | Support for High-Priority Traffic in VLSI Communication Switches. | Yuval Tamir, Gregory L. Frazier |
| 1987 | ICPP | A Software-Based Hardware Fault Tolerance Scheme for Multicomputers. | Yuval Tamir, Eli Gafni |
| 1987 | PLDI | A block-and-actions generator as an alternative to a simulator for collecting architecture measurements. | Miquel Huguet, Toms Lang, Yuval Tamir |