🏠홈📊트렌드🏆논문👤마이
🎓
CS-Pedia
TrendsBest Papers
CS Conference Hub

Deadlines, Rankings
& Best Papers — all in one.

Acceptance rates · Best papers · Conference deadlines for CS researchers

Best Papers/SOSP

SOSP Best Papers

ACM Symposium on Operating Systems Principles

10 papers · 2021–2025

← SOSP 학회 정보

🏆 2025(1)

Best Paper Award
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
Hao SunZhendong Su
operating systemsformal verificationprogram analysissecurity

🏆 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

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의