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 |
|---|---|---|
| 2021 | Regular Sequential Serializability and Regular Sequential Consistency. | Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd |
| 2021 | Files-as-Filesystems for POSIX Shell Data Processing. | Michael Greenberg |
| 2021 | Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. | Sishuai Gong, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2021 | AnyCall: Fast and Flexible System-Call Aggregation. | Luis Gerhorst, Benedict Herzog, Stefan Reif, Wolfgang Schrder-Preikschat, Timo Hnig |
| 2021 | Exploiting Nil-Externality for Fast Replicated Storage. | Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
| 2021 | dSpace: Composable Abstractions for Smart Spaces. | Silvery Fu, Sylvia Ratnasamy |
| 2021 | Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores. | Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Dongyoon Lee, Changwoo Min |
| 2021 | When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Persphone. | Henri Maxime Demoulin, Joshua Fried, Isaac Pedisich, Marios Kogias, Boon Thau Loo, Linh Thi Xuan Phan, Irene Zhang |
| 2021 | Snoopy: Surpassing the Scalability Bottleneck of Oblivious Storage. | Emma Dauterman, Vivian Fang, Ioannis Demertzis, Natacha Crooks, Raluca Ada Popa |
| 2021 | Forerunner: Constraint-based Speculative Transaction Execution for Ethereum. | Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang |
| 2021 | Separation of Powers in Federated Learning (Poster Paper). | Pau-Chen Cheng, Kevin Eykholt, Zhongshu Gu, Hani Jamjoom, K. R. Jayaram, Enriquillo Valdez, Ashish Verma |
| 2021 | CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. | Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Hrtig, Haibo Chen |
| 2021 | Isolation in Rust: What is Missing? | Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram Narayanan, Gerd Zellweger |
| 2021 | 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 |
| 2021 | Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks. | Shane Bergsma, Timothy Zeyl, Arik Senderovich, J. Christopher Beck |
| 2021 | Bladerunner: Stream Processing at Scale for a Live View of Backend Data Mutations at the Edge. | Jeff Barber, Ximing Yu, Laney Kuenzel Zamore, Jerry Lin, Vahid Jazayeri, Shie Erlich, Tony Savor, Michael Stumm |
| 2021 | Log-structured Protocols in Delos. | Mahesh Balakrishnan, Chen Shen, Ahmed Jafri, Suyog Mapara, David Geraghty, Jason Flinn, Vidhya Venkat, Ivailo Nedelchev, Santosh Ghosh, Mihir Dharamshi, Jingming Liu, Filip Gruszczynski, Jun Li, Rounak Tibrewal, Ali Zaveri, Rajeev Nagar, Ahmed Yossef, Francois Richard, Yee Jiun Song |
| 2021 | Gradient Compression Supercharged High-Performance Data Parallel DNN Training. | Youhui Bai, Cheng Li, Quan Zhou, Jun Yi, Ping Gong, Feng Yan, Ruichuan Chen, Yinlong Xu |
| 2021 | Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale. | Yechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, Taesoo Kim |
| 2021 | Coeus: A System for Oblivious Document Ranking and Retrieval. | Ishtiyaque Ahmad, Laboni Sarker, Divyakant Agrawal, Amr El Abbadi, Trinabh Gupta |
| 2021 | Generating correct initial page tables from formal hardware descriptions. | Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn |
| 2021 | Redundancy in cost functions for Byzantine fault-tolerant federated learning. | Shuo Liu, Nirupam Gupta, Nitin H. Vaidya |
| 2021 | PRISM: Rethinking the RDMA Interface for Distributed Systems. | Matthew Burke, Sowmya Dharanipragada, Shannon Joyner, Adriana Szekeres, Jacob Nelson, Irene Zhang, Dan R. K. Ports |
| 2021 | CppSig: Extracting Type Information for C-Preprocessor Macro Expansions. | Christian Dietrich |
| 2019 | Using concurrent relational logic with helpers for verifying the AtomFS file system. | Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen |
201–225 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