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 |
|---|---|---|
| 2019 | The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure. | Yongle Zhang, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan |
| 2019 | Verifying software network functions with no verification expertise. | Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea |
| 2019 | KnightKing: a fast distributed graph random walk engine. | Ke Yang, Mingxing Zhang, Kang Chen, Xiaosong Ma, Yang Bai, Yong Jiang |
| 2019 | Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. | Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin |
| 2019 | Lineage stash: fault tolerance off the critical path. | Stephanie Wang, John Liagouris, Robert Nishihara, Philipp Moritz, Ujval Misra, Alexey Tumanov, Ion Stoica |
| 2019 | Propagating trusted execution through mutual attestation. | Furkan Turan, Ingrid Verbauwhede |
| 2019 | Nexus: a GPU cluster engine for accelerating DNN-based video analysis. | Haichen Shen, Lequn Chen, Yuchen Jin, Liangyu Zhao, Bingyu Kong, Matthai Philipose, Arvind Krishnamurthy, Ravi Sundaram |
| 2019 | Honeycrisp: large-scale differentially private aggregation without a trusted core. | Edo Roth, Daniel Noble, Brett Hemenway Falk, Andreas Haeberlen |
| 2019 | Wait-Free Code Patching of Multi-Threaded Processes. | Florian Rommel, Lennart Glauer, Christian Dietrich, Daniel Lohmann |
| 2019 | An analysis of performance evolution of Linux's core operations. | Xiang (Jenny) Ren, Kirk Rodrigues, Luyuan Chen, Juan Camilo Vega, Michael Stumm, Ding Yuan |
| 2019 | A generic communication scheduler for distributed DNN training acceleration. | Yanghua Peng, Yibo Zhu, Yangrui Chen, Yixin Bao, Bairen Yi, Chang Lan, Chuan Wu, Chuanxiong Guo |
| 2019 | Optimizing data-intensive computations in existing libraries with split annotations. | Shoumik Palkar, Matei Zaharia |
| 2019 | Scaling symbolic evaluation for automated verification of systems code with Serval. | Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang |
| 2019 | Gerenuk: thin computation over big native data using speculative program transformation. | Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu |
| 2019 | PipeDream: generalized pipeline parallelism for DNN training. | Deepak Narayanan, Aaron Harlap, Amar Phanishayee, Vivek Seshadri, Nikhil R. Devanur, Gregory R. Ganger, Phillip B. Gibbons, Matei Zaharia |
| 2019 | Taxonomy of Package Management in Programming Languages and Operating Systems. | Hisham Muhammad, Lucas Correia Villa Real, Michael Homer |
| 2019 | AutoMine: harmonizing high-level abstraction and high performance for graph mining. | Daniel Mawhirter, Bo Wu |
| 2019 | A vision for autonomous blockchains backed by secure hardware. | Kai Mast, Lequn Chen, Emin Gn Sirer |
| 2019 | Snap: a microkernel approach to host networking. | Michael Marty, Marc de Kruijf, Jacob Adriaens, Christopher Alfeld, Sean Bauer, Carlo Contavalli, Michael Dalton, Nandita Dukkipati, William C. Evans, Steve D. Gribble, Nicholas Kidd, Roman Kononov, Gautam Kumar, Carl Mauer, Emily Musick, Lena E. Olson, Erik Rubow, Michael Ryan, Kevin Springborn, Paul Turner, Valas Valancius, Xi Wang, Amin Vahdat |
| 2019 | I4: incremental inference of inductive invariants for verification of distributed protocols. | Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah |
| 2019 | CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis. | Jie Lu, Chen Liu, Lian Li, Xiaobing Feng, Feng Tan, Jun Yang, Liang You |
| 2019 | Fast and secure global payments with Stellar. | Marta Lokhava, Giuliano Losa, David Mazires, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb |
| 2019 | Teechain: a secure payment network with asynchronous blockchain access. | Joshua Lind, Oded Naor, Ittay Eyal, Florian Kelbert, Emin Gn Sirer, Peter R. Pietzuch |
| 2019 | Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. | Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye |
| 2019 | Protecting the stack with PACed canaries. | Hans Liljestrand, Zaheer Gauhar, Thomas Nyman, Jan-Erik Ekberg, N. Asokan |
226–250 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