Symposium on Operating Systems Principles

Symposium on Operating Systems Principles
Name	Symposium on Operating Systems Principles
Abbrev	SOSP
Discipline	Computer science
Subject	Operating systems
Established	1967
Frequency	Biennial
Publisher	ACM
Country	International

Symposium on Operating Systems Principles is a biennial academic conference in computer science focusing on operating systems and related research, hosted under the auspices of the Association for Computing Machinery and its Special Interest Group on Operating Systems (SIGOPS). It serves as a primary venue where researchers from institutions such as Massachusetts Institute of Technology, University of California, Berkeley, Stanford University, Carnegie Mellon University, and University of Cambridge present advances that influence projects at Microsoft Research, Google Research, Apple Inc., IBM Research, and Intel Corporation. The event has shaped developments implemented in systems like UNIX, Linux kernel, Windows NT, macOS, and projects from Bell Labs and Xerox PARC.

History

SOSP began in 1967 amid contemporaneous activities at MIT, Stanford Research Institute, Bell Labs, and Cambridge University. Early meetings featured contributions linked to Project MAC, Multics, TENEX, and research teams from Honeywell and General Electric. Over decades SOSP has paralleled milestones involving DARPA, National Science Foundation, European Research Council, and industrial labs like DEC and Hewlett-Packard. Key figures who presented or influenced SOSP include researchers affiliated with Ken Thompson, Dennis Ritchie, Andrew Tanenbaum, Barbara Liskov, David Patterson, John Hennessy, Edsger Dijkstra, Peter Denning, and Butler Lampson. The conference timeline intersects with events such as the rise of ARPANET, the proliferation of TCP/IP, and standards efforts at IEEE and IETF.

Scope and Topics

The symposium's scope encompasses kernel architecture, distributed systems, concurrency, virtualization, file systems, storage, security, and performance. Papers often interact with work from labs like MIT CSAIL, CMU Parallel Data Laboratory, UC Berkeley RAD Lab, Microsoft Research Cambridge, and Google Brain when systems issues intersect with machine learning systems. Topics draw on methodologies seen in work from ACM SIGCOMM, USENIX, IEEE Symposium on Security and Privacy, International Conference on Architectural Support for Programming Languages and Operating Systems, and Conference on Systems and Machine Learning. Typical subareas referenced include research related to virtual memory, process scheduling, I/O subsystems, microkernels, and concepts tied to projects at Oracle Corporation, Red Hat, Canonical Ltd., and Amazon Web Services.

Organization and Sponsorship

SOSP is organized by ACM and SIGOPS with program committees composed of academics and industry researchers from Princeton University, University of Michigan, ETH Zurich, École Polytechnique Fédérale de Lausanne, National University of Singapore, Tsinghua University, Peking University, and University of Tokyo. Sponsorship often includes institutions such as Google Inc., Microsoft Corporation, Intel, IBM, Amazon, Facebook (Meta Platforms, Inc.), NVIDIA Corporation, VMware, and foundations like the Simons Foundation. Venue selections have placed SOSP meetings in cities connected to host institutions such as Boston, San Francisco, Portland, Oregon, Ottawa, Cambridge, UK, Zurich, Beijing, and Tokyo. Award committees have recognized contributions with ties to honors like the Turing Award, IEEE John von Neumann Medal, and ACM Prize in Computing.

Notable Papers and Contributions

SOSP has been the site of seminal papers that influenced operating systems and distributed systems. Landmark contributions relate to work that informed UNIX development, foundational ideas later embodied in BSD, and research that catalyzed Linux development. Influential publications include those associated with virtual machines and hypervisors relevant to VMware, Xen Project, and KVM technologies; distributed consensus and replication concepts used by Google and Amazon Web Services; file system innovations comparable to Fast File System and research feeding into Ceph and ZFS; and security models informing SELinux and TrustedBSD. Authors and contributors often originate from groups at Bell Labs, Xerox PARC, Cambridge Computer Laboratory, MIT Lincoln Laboratory, SRI International, Los Alamos National Laboratory, and Lawrence Berkeley National Laboratory, and include prominent computer scientists such as Leslie Lamport, Roger Needham, M. Frans Kaashoek, Nickolai Zeldovich, Sally Floyd, Peter Bernhard, and Amit Singh.

Conferences and Proceedings

Proceedings are published through ACM Digital Library under the SOSP series, and historical records intersect with other proceedings from USENIX Annual Technical Conference, EuroSys, OSDI, SOSP Workshop listings, and adjunct meetings like HotOS and SOSP Student Research Competition. Proceedings compile peer-reviewed papers, posters, and keynote addresses by figures affiliated with DARPA, NSF, European Commission, and major corporations. Collections of proceedings are cited alongside volumes from ACM SIGCOMM', ACM SIGOPS', and cross-listed in indexes maintained by IEEE Xplore, Google Scholar, and library catalogs at Library of Congress.

Impact and Reception

SOSP's influence is evident in operating systems curricula at universities such as UC Berkeley, MIT, Stanford University, University of Illinois Urbana-Champaign, and Cornell University and in industry roadmaps at Microsoft, Apple, Oracle, and Amazon. The conference has shaped open-source ecosystems including Linux Foundation, FreeBSD, and OpenStack, and has been influential for standards and protocols ratified at IETF and IEEE. Reception among academics and engineers is reflected in citation networks captured by Scopus, Web of Science, Google Scholar, and awards tracked by ACM Fellows and IEEE Fellows. Debates and follow-on work presented at venues like OSDI and EuroSys continue to extend SOSP's legacy.

Category:Computer science conferences