ACM SIGOPS Symposium on Operating Systems Principles
SOSP
A*
CORE rank
CORE rank (raw)
A*
Acceptance rate
17.0% (2023)
Fields of research
Distributed Computing and Systems Software
Papers indexed
1,068
1967–2025
Papers per year
196773 peak2025
Most published authors
SOSP papers
1,068 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2017 | Hyperkernel: Push-Button Verification of an OS Kernel. | Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang |
| 2017 | Scaling Databases through Trusted Hardware Proxies. | Kai Mast, Lequn Chen, Emin Gn Sirer |
| 2017 | My VM is Lighter (and Safer) than your Container. | Filipe Manco, Costin Lupu, Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu, Felipe Huici |
| 2017 | vCFI: Visible Control Flow Integrity for Cloud Tenants. | Yuan Li, Chao Zhang, Xiapu Luo |
| 2017 | CrystalNet: Faithfully Emulating Large Production Networks. | Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan |
| 2017 | KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC. | Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong, Andrew Putnam, Enhong Chen, Lintao Zhang |
| 2017 | Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control. | Jialin Li, Ellis Michael, Dan R. K. Ports |
| 2017 | NEVE: Nested Virtualization Extensions for ARM. | Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier |
| 2017 | Multiprogramming a 64kB Computer Safely and Efficiently. | Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Alexander Levis |
| 2017 | Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. | Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Hrtig |
| 2017 | Strata: A Cross Media File System. | Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, Thomas E. Anderson |
| 2017 | Atom: Horizontally Scaling Strong Anonymity. | Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford |
| 2017 | Rocksteady: Fast Migration for Low-latency In-memory Storage. | Chinmay Kulkarni, Aniraj Kesavan, Tian Zhang, Robert Ricci, Ryan Stutsman |
| 2017 | Lazy Diagnosis of In-Production Concurrency Bugs. | Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu |
| 2017 | Canopy: An End-to-End Performance Tracing And Analysis System. | Jonathan Kaldor, Jonathan Mace, Michal Bejda, Edison Gao, Wiktor Kuropatwa, Joe O'Neill, Kian Win Ong, Bill Schaller, Pingjia Shan, Brendan Viscomi, Vinod Venkataraman, Kaushik Veeraraghavan, Yee Jiun Song |
| 2017 | NetCache: Balancing Key-Value Stores with Fast In-Network Caching. | Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soul, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica |
| 2017 | SGX-Bomb: Locking Down the Processor via Rowhammer Attack. | Yeongjin Jang, Jae-Hyuk Lee, Sangho Lee, Taesoo Kim |
| 2017 | Towards Correct-by-Construction Interrupt Routing on Real Hardware. | Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe |
| 2017 | SVE: Distributed Video Processing at Facebook Scale. | Qi Huang, Petchean Ang, Peter Knowles, Tomasz Nykiel, Iaroslav Tverdokhlib, Amit Yajurvedi, Paul Dapolito IV, Xifan Yan, Maxim Bykov, Chuen Liang, Mohit Talwar, Abhishek Mathur, Sachin Kulkarni, Matthew Burke, Wyatt Lloyd |
| 2017 | Adaptable Actors: Just What The World Needs. | Paul Harvey, Joseph S. Sventek |
| 2017 | MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface. | Mingzhe Hao, Huaicheng Li, Michael Hao Tong, Chrisma Pakha, Riza O. Suminto, Cesar A. Stuardo, Andrew A. Chien, Haryadi S. Gunawi |
| 2017 | Algorand: Scaling Byzantine Agreements for Cryptocurrencies. | Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich |
| 2017 | Automatically Repairing Network Control Planes Using an Abstract Representation. | Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu |
| 2017 | Annotations in Operating Systems with Custom AspectC++ Attributes. | Birte Friesel, Markus Buschhoff, Olaf Spinczyk |
| 2017 | Komodo: Using verification to disentangle secure-enclave hardware from software. | Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno |
301–325 of 1,068← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*INFOCOMIEEE International Conference on Computer Communications
- A*WWWInternational World Wide Web Conference
- AICDCSInternational Conference on Distributed Computing Systems
- A*SIGCOMMACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
- A*MOBICOMACM International Conference on Mobile Computing and Networking
- ADSNIEEE/IFIP International Conference on Dependable Systems and Networks
- AICWSIEEE International Conference on Web Services
- A*PODCACM Symposium on Principles of Distributed Computing