Marco Spaziani Brunella, Giacomo Belocchi, Marco Bonola, Salvatore Pontarelli, Giuseppe Siracusano, Giuseppe Bianchi, Aniello Cammarano, Alessandro Palumbo

FPGAEfficiency

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

Best Papers/OSDI

OSDI Best Papers

USENIX Symposium on Operating Systems Design and Implementation

12 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 VerificationDistributed Systems

Best Paper Award

Building Bridges: Safe Interactions with Foreign Languages through OmniGlot

Schuermann, Toubes, Potyondy, Pannuto, Milano & Levy

Language InteroperabilitySafety

🏆 2023(2)

Best Paper Award

Triangulating Python Performance Issues with SCALENE

Berger et al.

ProfilingPython

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 SystemsRuntime

Best Paper Award

XRP: In-Kernel Storage Functions with eBPF

Zhong et al. (Columbia)

StorageeBPFOS

🏆 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 MLcluster schedulingdeep 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

FPGAEfficiency

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