James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield

formal verificationstorage systemsS3

Best Paper Award

LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism

Jongyul Kim, Insu Jang, Waleed Reda, Jaeseong Im, Marco Canini, Dejan Kostić, Youngjin Kwon, Simon Peter

Parallel ComputingFile SystemsEfficiency

Best Papers/SOSP

SOSP Best Papers

ACM Symposium on Operating Systems Principles

13 papers · 2021–2025

← SOSP Conference Info

🏆 2025(4)

Best Paper Award

Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement

Hao SunZhendong Su

operating systemsformal verificationprogram analysissecurity

Best Paper Award

Atmosphere: Practical Verified Kernels with Rust and Verus

Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Vikram Narayanan, Anton Burtsev

Best Paper Award

CortenMM: Efficient Memory Management with Strong Correctness Guarantees

Junyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu

Memory ManagementEfficiency

Best Paper Award

Rearchitecting the Thread Model of In-Memory Key-Value Stores with muTPS

Youmin Chen, Jiwu Shu, Yanyan Shen, Linpeng Huang, Hong Mei

🏆 2024(3)

Best Paper Award

FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring

et al.

PerformanceSystems

Best Paper Award

LazyLog: A New Shared Log Abstraction for Low-Latency Applications

et al.

Distributed SystemsStorage

Best Paper Award

OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering

et al.

OSConcurrencyBug Detection

🏆 2023(3)

Best Paper Award

Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture

Zhou et al.

File SystemsNVM

Best Paper Award

TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM

Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen

Checkpointing

Best Paper Award

Validating JIT Compilers via Compilation Space Exploration

Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su

ExplorationJIT Compilation

🏆 2021(3)

Best Paper Award

Kangaroo: Caching Billions of Tiny Objects on Flash

Sara McAllister, Benjamin Berg, Julian Tutuncu-Macias, Juncheng Yang, Sathya Gunasekar, Jimmy Lu, Daniel Berger, Nathan Beckmann, Gregory R. Ganger

storagecachingflashsystems

Best Paper Award

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield

formal verificationstorage systemsS3

Best Paper Award

LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism

Jongyul Kim, Insu Jang, Waleed Reda, Jaeseong Im, Marco Canini, Dejan Kostić, Youngjin Kwon, Simon Peter

Parallel ComputingFile SystemsEfficiency