Conference Information
SOSP 2025: ACM Symposium on Operating Systems Principles
https://sigops.org/s/conferences/sosp/2025/
Submission Date:
2025-04-10
Notification Date:
2025-07-15
Conference Date:
2025-10-13
Location:
Seoul, Republic of Korea
Years:
31
CCF: a   CORE: a*   QUALIS: a1   Viewed: 1515738   Tracked: 121   Attend: 6

Call For Papers
Topics

SOSP takes a broad view of systems and solicits contributions from many fields of systems practice, including: operating systems, file and storage systems, distributed systems, cloud computing, mobile and edge systems, secure and reliable systems, systems aspects of big data and machine learning, embedded and real-time systems, virtualization, networking as it relates to operating systems, and management and troubleshooting of complex systems. We also welcome work that explores the interaction of computer systems with related areas such as computer architecture, networking, programming languages, analytics, verification, and databases. In keeping with SOSP tradition, we will favor work that explores new territory, continues a significant research dialogue, or reflects on experience with or measurements of state-of-the-art implementations.

Submission Criteria

Submissions will be judged on novelty, significance, interest, clarity, relevance, and correctness. A good paper will:

    Motivate a significant problem;
    Propose and implement an interesting, compelling solution;
    Demonstrate the practicality and benefits of the solution;
    Draw appropriate conclusions;
    Clearly describe the paper's contributions;
    Articulate the advances beyond previous work; and
    Be accessible to the broader systems community. 

We encourage submission of groundbreaking work in significant new directions, with the understanding that the evaluation criteria for papers addressing new problems may be different from those continuing a line of work in a more established area.

Originality

Submissions should contain original, unpublished material. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism is not allowed.

Submissions that extend the authors' previous work are welcome, but authors must explain the differences between the SOSP submission and the prior work, much in the same way that the authors are expected to articulate the contributions of their submission as they relate to prior work by others.

Prior or concurrent workshop publication does not preclude publishing a related paper in SOSP. As long as there is significant additional content in the submission compared to the prior workshop publication, the PC will evaluate the submission's entire contribution, not just the delta.

Prior or concurrent publication in non-peer-reviewed contexts, like arXiv.org, technical reports, talks, and social media posts, is explicitly permitted.

Resubmissions

Submitting a paper that had been previously submitted to and not accepted by another conference is permitted, although authors are expected to have improved the paper to address substantive issues raised in previous reviews. Authors should provide information regarding the previous submission(s) and a summary of the subsequent revisions to the paper. This description, which will be supplied to reviewers after they’ve completed their reviews, helps reviewers who may have reviewed a previous draft of the work to appreciate any improvements to the currently submitted work. Please try to limit the description of changes to one page. All information should be properly anonymized, as described below, and should be uploaded via the submission form.

Anonymity

SOSP will use double-blind reviewing. Please make a good faith attempt to anonymize your submission. Avoid identifying yourself or your institution explicitly or by implication (e.g., through the references or acknowledgments). The first page should use the paper ID assigned during registration in place of the author names. If the name of your project or system is already known to the community (e.g., through arXiv, technical reports, talks, social media posts, or other uses), your SOSP submission must use an anonymized name.

Use care in referring to your own related work. Do not omit references to your prior work, as this would make it difficult for reviewers to place your submission in its proper context. Instead, reference your past work in the third person, just as you would any other piece of related work. For example, you might say "Our system modifies the XYZ operating system built by Lee et al. [Lee17]".

For concurrent submissions on related topics, cite an anonymized version of the concurrent submission and discuss the relation between the submissions. Additionally, email the PC chairs (sosp2025@gmail.com) with a copy of your other concurrent submission.

If your submission reports on experiences with a system at your institution or organization, you should refer to the system anonymously but describe the properties of the system that are needed to appreciate the work (e.g., size of the user base, volume of requests, etc.). We recognize that, in some cases, these properties may allow a reviewer to identify your institution or organization.

Supplementary Material

Authors may optionally include supplementary material as a separate document. Supplementary material is intended for items that are not critical for evaluating the paper but may be of interest to some readers. Examples include: formal proofs that are only sketched in the submission, additional analyses, and methodological details that aren’t essential for the PC’s assessment but are important for reproducibility. PC members are not required to read this optional supplementary material, so the submission must stand alone without it.
Last updated by Dou Sun in 2025-02-28
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20111572817.8%
20091402316.4%
20071312519.1%
20051552012.9%
20031282217.2%
2001851720%
1999901921.1%
19971202319.2%
1995842226.2%
Best Papers
YearBest Papers
2023Validating JIT Compilers via Compilation Space Exploration
2023TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM
2023Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture
2021Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
2021LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism
2021Kangaroo: Caching Billions of Tiny Objects on Flash
2019Scaling symbolic evaluation for automated verification of systems code with Serval
2017The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web
2017DeepXplore: Automated Whitebox Testing of Deep Learning Systems
2015Coz: Finding Code that Counts with Causal Profiling
2015Using Crash Hoare Logic for Certifying the FSCQ File System
2015Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems
2013The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
2013Naiad: A Timely Dataflow System
2013Towards optimization-safe systems: analyzing the impact of undefined behavior
2011A file is not a file: understanding the I/O behavior of Apple desktop applications
2011Cells: a virtual mobile smartphone architecture
2009RouteBricks: exploiting parallelism to scale software routers
2009FAWN: a fast array of wimpy nodes
2009seL4: formal verification of an OS kernel
2007Zyzzyva: speculative byzantine fault tolerance
2007Secure web application via automatic partitioning
2007Sinfonia: a new paradigm for building scalable distributed systems
2005Vigilante: End-to-End Containment of Internet Worms
2005BAR Tolerance for Cooperative Services
2005Rx: treating bugs as allergies - a safe method to survive software failures
2005Speculative execution in a distributed file system
2003Xen and the art of virtualization
2003Backtracking intrusions
2003Improving the reliability of commodity operating systems
2003Preserving peer replicas by rate-limited sampled voting
2001Untrusted Hosts and Confidentiality: Secure Program Partitioning
2001BASE: Using Abstraction to Improve Fault Tolerance
1999Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors
1999Manageability, Availability and Performance in Porcupine: A Highly Scalable, Cluster-based Mail Service
1999The Click modular router
1999Soft timers: efficient microsecond software timer support for network processing
1997Continuous Profiling: Where Have All the Cycles Gone?
1997DISCO: Running Commodity Operating Systems on Scalable Multiprocessors
1997Eraser: a dynamic data race detector for multithreaded programs
1979Weighted Voting for Replicated Data
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
a*ICISInternational Conference on Information Systems2017-05-052017-08-072017-12-10
cb3WEBISTInternational Conference on Web Information Systems and Technologies2026-05-192026-07-172026-10-27
ab1CSBInternational Conference on Computational Systems Bioinformatics2010-04-302010-08-16
bb3ICISSInternational Conference on Information Systems Security2025-08-102025-10-032025-12-16
cab5ICSSPInternational Conference on Software and Systems Process2024-03-222024-04-302024-09-04
b4ISTInternational Conference on Imaging Systems and Techniques2018-07-312018-08-152018-10-16
aa1HICSSHawaii International Conference on System Sciences2025-06-152025-08-172026-01-06
b4WISMInternational Conference on Web Information Systems and Mining2013-04-202013-04-202013-08-13
aa*a1OSDIUSENIX Symposium on Operating Systems Design and Implementation2025-12-042026-03-262026-07-13
aa*a1SOSPACM Symposium on Operating Systems Principles2025-04-102025-07-152025-10-13