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 |
|---|---|---|
| 2011 | Cells: a virtual mobile smartphone architecture. | Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, Jason Nieh |
| 2011 | Utilizing green energy prediction to schedule mixed batch and service jobs in data centers. | Baris Aksanli, Jagannathan Venkatesh, Liuyi Eric Zhang, Tajana Rosing |
| 2011 | Thialfi: a client notification service for internet-scale applications. | Atul Adya, Gregory Cooper, Daniel Myers, Michael Piatek |
| 2009 | Distributed aggregation for data-parallel computing: interfaces and implementations. | Yuan Yu, Pradeep Kumar Gunda, Michael Isard |
| 2009 | Improving application security with data flow assertions. | Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2009 | Detecting large-scale system problems by mining console logs. | Wei Xu, Ling Huang, Armando Fox, David A. Patterson, Michael I. Jordan |
| 2009 | KStruct: preserving consistency through C annotations. | Alexander Schmidt, Martin von Lwis, Andreas Polze |
| 2009 | Automatic device driver synthesis with termite. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
| 2009 | A microkernel API for fine-grained decomposition. | Sebastian Reichelt, Jan Stoess, Frank Bellosa |
| 2009 | Code-Partitioning Gossip. | Lonnie Princehouse, Ken Birman |
| 2009 | Operating systems transactions. | Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel |
| 2009 | Automatically patching errors in deployed software. | Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard |
| 2009 | PRES: probabilistic replay with execution sketching on multiprocessors. | Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu |
| 2009 | Distributed data flow language for multi-party protocols. | Krzysztof Ostrowski, Ken Birman, Danny Dolev |
| 2009 | Helios: heterogeneous multiprocessing with satellite kernels. | Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt |
| 2009 | Modular data storage with Anvil. | Mike Mammarella, Shant Hovsepian, Eddie Kohler |
| 2009 | Fabric: a platform for secure distributed computation and storage. | Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers |
| 2009 | seL4: formal verification of an OS kernel. | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
| 2009 | CatchAndRetry: extending exceptions to handle distributed system failures and recovery. | Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi |
| 2009 | Tolerating hardware device failures in software. | Asim Kadav, Matthew J. Renzelmann, Michael M. Swift |
| 2009 | Quincy: fair scheduling for distributed computing clusters. | Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, Andrew V. Goldberg |
| 2009 | Debugging in the (very) large: ten years of implementation and experience. | Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince R. Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt |
| 2009 | Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs. | John Dunagan, Alice X. Zheng, Daniel R. Simon |
| 2009 | RouteBricks: exploiting parallelism to scale software routers. | Mihai Dobrescu, Norbert Egi, Katerina J. Argyraki, Byung-Gon Chun, Kevin R. Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, Sylvia Ratnasamy |
| 2009 | Filet-o-Fish: practical and dependable domain-specific languages for OS development. | Pierre-variste Dagand, Andrew Baumann, Timothy Roscoe |
526–550 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