Generated by GPT-5-mini| SOSP | |
|---|---|
| Name | Symposium on Operating Systems Principles |
| Abbreviation | SOSP |
| Discipline | Computer science |
| Frequency | Biennial |
| First | 1967 |
| Organizer | Association for Computing Machinery |
| Location | Varies (United States and International) |
SOSP SOSP is a biennial academic conference focused on operating systems and systems research, historically organized by the Association for Computing Machinery ACM Special Interest Group on Operating Systems and held at rotating venues such as Palo Alto, Austin, Texas, Paris, Kobe, and Shipley Hall. The program brings together researchers from institutions including Massachusetts Institute of Technology, Stanford University, Carnegie Mellon University, University of California, Berkeley, and University of Cambridge, and from organizations such as IBM, Microsoft Research, Bell Labs, Google Research, and ETH Zurich. SOSP sessions have featured contributions by figures associated with Richard Stallman, Ken Thompson, Dennis Ritchie, Barbara Liskov, and Andrew S. Tanenbaum.
The symposium was founded in the late 1960s amid developments at Digital Equipment Corporation, Bell Labs, RAND Corporation, University of California, Los Angeles, and University of Illinois at Urbana–Champaign that shaped early time-sharing and multiprocessing research. Early meetings showcased work related to projects at MIT Project MAC, Xerox PARC, DARPA, and Stanford Research Institute, attracting attendees from Princeton University and Harvard University. Over decades the venue rotated globally, with notable editions in Cambridge, New York City, Seattle, and Portland, Oregon, reflecting the rise of research groups at Imperial College London and ETH Zurich. The conference evolved alongside milestones such as the development of UNIX, the emergence of microkernel debate involving proponents from University of Utah and Technical University of Berlin, and the growth of distributed systems research from programs at Berkeley and CMU.
SOSP covers a range of themes including distributed systems research from groups at Microsoft Research and Google Research, file systems innovations from teams at Sun Microsystems and IBM Research, virtualization work driven by companies like VMware and institutions such as University of Cambridge, and security contributions linked to researchers at UC San Diego and Carnegie Mellon University. Other recurring topics include concurrency techniques associated with MIT labs, fault tolerance studies from Los Alamos National Laboratory, performance analysis from Lawrence Berkeley National Laboratory, and resource management research from ETH Zurich and Tokyo Institute of Technology. The program often juxtaposes systems-oriented papers with experimental evaluations by teams at Yahoo! Research, Facebook Research, Amazon Web Services, and academic groups at Princeton and Yale University.
The symposium is organized by program committees drawn from academics at institutions such as Cornell University, University of Washington, Columbia University, Brown University, and University of Toronto, and industry researchers from Apple Inc., Intel Corporation, Google, Microsoft, and IBM. Keynote and invited talks have been delivered by leaders affiliated with National Science Foundation, European Research Council, DARPA, and by awardees of the Turing Award such as Leslie Lamport and John H. Conway (as examples of distinguished speakers). Local arrangements have been coordinated with host universities like University of Illinois, University of Michigan, and University of Edinburgh, while sponsorship frequently comes from vendors including NVIDIA, Red Hat, Oracle Corporation, and ARM Holdings.
Papers presented at the symposium have introduced systems such as early UNIX-related implementations, influential file system architectures from Sun Microsystems and Bell Labs alumni, virtualization and hypervisor designs that informed products by VMware and Xen Project, and distributed consensus techniques that built on work by researchers linked to Cornell University and Microsoft Research. Landmark contributions include experimental evaluations of scheduler designs from Carnegie Mellon University, novel memory management schemes from MIT, and scalable storage systems developed by teams at Berkeley and Yahoo! Research. SOSP papers have been cited alongside influential works from SIGOPS Experimental Systems Workshop, OSDI, and seminal texts authored by Andrew S. Tanenbaum and Abraham Silberschatz.
The symposium recognizes outstanding contributions through best paper awards and lifetime achievement recognitions often highlighted alongside honors from the ACM and the Institute of Electrical and Electronics Engineers. Recipients frequently include researchers from Stanford University, Carnegie Mellon University, UC Berkeley, MIT, and Princeton University, and award announcements are sometimes coordinated with accolades like the ACM Fellows program and other distinctions such as the IEEE Fellows designation. Several SOSP contributors have later received the Turing Award and similar international honors.
Over its history the symposium has influenced curricula at Massachusetts Institute of Technology and University of California, Berkeley, shaped industrial development at corporations such as IBM, Microsoft, and Google, and informed public sector projects supported by DARPA and the National Science Foundation. SOSP proceedings have been used as reference points in doctoral work at Carnegie Mellon University, University of Washington, and University of Cambridge, and have steered subsequent research presented at venues including USENIX, SIGCOMM, PLDI, and VLDB. The conference continues to serve as a nexus connecting academic labs, industrial research groups, and funding agencies such as the European Commission.