🏠
홈
📊
트렌드
🏆
논문
👤
마이
💬 문의
CS-
Pedia
Trends
Best Papers
Best Papers
/
OSDI
OSDI Best Papers
USENIX Symposium on Operating Systems Design and Implementation
15 papers · 2020–2025
← OSDI Conference Info
🏆
2025
(2)
Best Paper Award
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
Zhang et al.
Formal Verification
Distributed Systems
Best Paper Award
Building Bridges: Safe Interactions with Foreign Languages through OmniGlot
Schuermann, Toubes, Potyondy, Pannuto, Milano & Levy
Language Interoperability
Safety
🏆
2024
(3)
Best Paper Award
ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing
Mike Chow, Yang Wang, William Wang, Ayichew Hailu, Rohan Bopardikar, Bin Zhang, Jialiang Qu, David Meisner
Best Paper Award
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
Best Paper Award
Anvil: Verifying Liveness of Cluster Management Controllers
Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon
Clustering
🏆
2023
(2)
Best Paper Award
Triangulating Python Performance Issues with SCALENE
Berger et al.
Profiling
Python
Best Paper Award
Ensō: A Streaming Interface for NIC-Application Communication
Hugo Sadok, Nirav Atre, Zhipeng Zhao, Daniel S. Berger, James C. Hoe, Aurojit Panda, Justine Sherry, Ren Wang
🏆
2022
(2)
Best Paper Award
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime
et al. (UCLA SOLAR Lab)
Memory Systems
Runtime
Best Paper Award
XRP: In-Kernel Storage Functions with eBPF
Zhong et al. (Columbia)
Storage
eBPF
OS
🏆
2021
(3)
Best Paper Award
Pollux: Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning
Aurick Qiao, Sang Keun Choe, Suhas Jayaram Subramanya, Willie Neiswanger, Qirong Ho, Hao Zhang, Gregory R. Ganger, Eric P. Xing
distributed ML
cluster scheduling
deep learning systems
Best Paper Award
MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation
Sam Kumar, David E. Culler, Raluca Ada Popa
Secure Computation
Best Paper Award
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
🏆
2020
(3)
Best Paper Award
hXDP: Efficient Software Packet Processing on FPGA NICs
Marco Spaziani Brunella, Giacomo Belocchi, Marco Bonola, Salvatore Pontarelli, Giuseppe Siracusano, Giuseppe Bianchi, Aniello Cammarano, Alessandro Palumbo
FPGA
Efficiency
Best Paper Award
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Best Paper Award
Virtual Consensus in Delos
Mahesh Balakrishnan, Jason Flinn, Chen Shen, Mihir Dharamshi, Ahmed Jafri, Xiao Shi, Santosh Ghosh, Hazem Hassan