SOSP Proceedings, 1967 to 2015 (original) (raw)

“

In designing an operating system one needs both theoretical insight and horse sense. Without the former, one designs an ad hoc mess; without the latter one designs an elephant in best Carrara marble (white, perfect, and immobile). ”

— R. M. Needham and D. F. Hartley, SOSP 1969

25th SOSP — October 4-7, 2015 —Monterey, California, USA

Program Chair: Steven Hand

Monday 5th, 8:30am - 9am

Welcome and Awards

Monday 5th, 9am - 10:30am

Formal Systems

Chair: Petros Maniatis

2015

IronFleet: Proving Practical Distributed Systems Correct

Chris Hawblitzel,Jon Howell,Manos Kapritsos,Jacob R. Lorch,Bryan Parno,Michael L. Roberts,Srinath Setty,Brian Zill (Microsoft Research)

2015

Using Crash Hoare Logic for Certifying the FSCQ File System

Haogang Chen,Daniel Ziegler,Tej Chajed,Adam Chlipala,M. Frans Kaashoek,Nickolai Zeldovich (MIT CSAIL)

2015

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

Tom Ridge (University of Leicester),David Sheets (University of Cambridge),Thomas Tuerk (FireEye),Andrea Giugliano (University of Leicester),Anil Madhavapeddy,Peter Sewell (University of Cambridge)

Monday 5th, 11am - 12:30pm

Distributed Transactions

Chair: Tim Harris

2015

No compromises: distributed transactions with consistency, availability, and performance

Aleksandar Dragojević,Dushyanth Narayanan,Edmund B Nightingale,Matthew Renzelmann,Alex Shamis,Anirudh Badam,Miguel Castro (Microsoft Research)

2015

Implementing Linearizability at Large Scale and Low Latency

Collin Lee,Seo Jin Park,Ankita Kejriwal (Stanford University),Satoshi Matsushita (NEC),John Ousterhout (Stanford University)

2015

Fast In-memory Transaction Processing using RDMA and HTM

Xingda Wei,Jiaxin Shi,Yanzhe Chen,Rong Chen,Haibo Chen (Shanghai Jiao Tong University)

Monday 5th, 2pm - 3:30pm

Distributed Systems

Chair: Marcos Aguilera

2015

Paxos Made Transparent

Heming Cui (University of Hong Kong and Columbia University),Rui Gu,Cheng Liu (Columbia University),Tianyu Chen (Tsinghua University),Junfeng Yang (Columbia University)

2015

E2: A Framework for NFV Applications

Shoumik Palkar,Chang Lan,Sangjin Han (UC Berkeley),Keon Jang (Intel Labs),Aurojit Panda,Sylvia Ratnasamy (UC Berkeley),Luigi Rizzo (Università di Pisa),Scott Shenker (UC Berkeley and ICSI)

2015

Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis

Jelle van den Hooff,David Lazar,Matei Zaharia,Nickolai Zeldovich (MIT CSAIL)

Monday 5th, 4pm - 5:30pm

Concurrency and Performance

Chair: Emmett Witchel

2015

Parallelizing User-Defined Aggregations using Symbolic Execution

Veselin Raychev (ETH Zurich),Madanlal Musuvathi,Todd Mytkowicz (Microsoft Research)

2015

Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming

Alexander Matveev (MIT),Nir Shavit (MIT & Tel-Aviv University),Pascal Felber,Patrick Marlier (University of Neuchâtel)

2015

COZ: Finding Code that Counts with Causal Profiling

Charlie Curtsinger (Grinnell College),Emery D. Berger (University of Massachusetts Amherst)

Tuesday 6th, 9am - 10:30am

Energy Aware Systems

Chair: Landon Cox

2015

JouleGuard: Energy Guarantees for Approximate Applications

Henry Hoffmann (University of Chicago)

2015

Software Defined Batteries

Anirudh Badam,Ranveer Chandra,Jon A. Dutra (Microsoft),Anthony Ferrese (Tesla Motors),Steve Hodges (Microsoft),Pan Hu (University of Massachusetts Amherst),Julia Meinershagen,Thomas Moscibroda,Bodhi Priyantha (Microsoft),Evangelia Skiani (Columbia Univeristy)

2015

Drowsy Power Management

Matthew Lentz,James Litton,Bobby Bhattacharjee (University of Maryland)

Tuesday 6th, 11am - 12:30pm

More Distributed Transactions

Chair: Haibo Chen

2015

Yesquel: Scalable SQL storage for Web applications

Marcos K. Aguilera (VMware Research Group),Joshua B. Leners (UT Austin, NYU),Michael Walfish (NYU)

2015

Building Consistent Transactions with Inconsistent Replication

Irene Zhang,Naveen Kr. Sharma,Adriana Szekeres,Arvind Krishnamurthy,Dan R. K. Ports (University of Washington)

2015

High-Performance ACID via Modular Concurrency Control

Chao Xie,Chunzhi Su,Cody Littley,Lorenzo Alvisi (University of Texas at Austin),Manos Kapritsos (Microsoft Research),Yang Wang (Ohio State University)

Tuesday 6th, 2pm - 3:30pm

Experience and Practice

Chair: Shan Lu

2015

Existential Consistency: Measuring and Understanding Consistency at Facebook

Haonan Lu (University of Southern California and Facebook),Kaushik Veeraraghavan,Philippe Ajoux,Jim Hunt,Yee Jiun Song,Wendy Tobagus,Sanjeev Kumar (Facebook),Wyatt Lloyd (University of Southern California and Facebook)

2015

Virtual CPU Validation

Nadav Amit,Dan Tsafrir,Assaf Schuster (Technion — Israel Institute of Technology),Ahmad Ayoub,Eran Shlomo (Intel Corporation)

2015

Holistic Configuration Management at Facebook

Chunqiang Tang,Thawan Kooburat,Pradeep Venkatachalam,Akshay Chander,Zhe Wen,Aravind Narayanan,Patrick Dowell,Robert Karl (Facebook Inc.)

Tuesday 6th, 4pm - 5:30pm

Bugs and Analysis

Chair: Brad Karp

2015

Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures

Baris Kasikci,Benjamin Schubert (EPFL),Cristiano Pereira,Gilles Pokam (Intel Corporation),George Candea (EPFL)

2015

Cross-checking Semantic Correctness: The Case of Finding File System Bugs

Changwoo Min,Sanidhya Kashyap,Byoungyoung Lee,Chengyu Song,Taesoo Kim (Georgia Institute of Technology)

2015

Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems

Jonathan Mace,Ryan Roelke,Rodrigo Fonseca (Brown University)

Wednesday 7th, 9am - 10:30am

Big Data

Chair: Terence Kelly

2015

Interruptible Tasks: Treating Memory Pressure As Interrupts for Highly Scalable Data-Parallel Programs

Lu Fang,Khanh Nguyen,Guoqing Xu,Brian Demsky (University of California, Irvine),Shan Lu (University of Chicago)

2015

Chaos: Scale-out Graph Processing from Secondary Storage

Amitabha Roy (Intel),Laurent Bindschaedler,Jasmina Malicevic,Willy Zwaenepoel (EPFL)

2015

Arabesque: A System for Distributed Graph Mining

Carlos H. C. Teixeira,Alexandre J. Fonseca,Marco Serafini,Georgos Siganos,Mohammed J. Zaki,Ashraf Aboulnaga (Qatar Computing Research Institute)

Wednesday 7th, 11am - 12:30pm

Storage Systems

Chair: Andrew Baumann

2015

How to Get More Value From Your File System Directory Cache

Chia-Che Tsai,Yang Zhan,Jayashree Reddy,Yizheng Jiao,Tao Zhang,Donald E. Porter (Stony Brook University)

2015

Opportunistic Storage Maintenance

George Amvrosiadis,Angela Demke Brown,Ashvin Goel (University of Toronto)

2015

Split-Level I/O Scheduling

Suli Yang,Tyler Harter,Nishant Agrawal,Salini Selvaraj Kowsalya,Anand Krishnamurthy,Samer Al-Kiswany (University of Wisconsin-Madison),Rini T. Kaushik (IBM Research - Almaden),Andrea C. Arpaci-Dusseau,Remzi H. Arpaci-Dusseau (University of Wisconsin-Madison)

24th SOSP — November 3-6, 2013 —Farmington, Pennsylvania, USA

General Chair: Michael Kaminsky

Program Chair: Mike Dahlin

Monday 3rd, 08:30-09:00

Welcome and Awards

Monday 3rd, 09:00-10:30

Juggling Chainsaws

Chair: Rebecca Isaacs

2013

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors

Austin T. Clements,M. Frans Kaashoek,Nickolai Zeldovich,Robert T. Morris (MIT),Eddie Kohler (Harvard)

2013

Speedy Transactions in Multicore In-Memory Databases

Stephen Tu,Wenting Zheng (MIT),Eddie Kohler (Harvard),Barbara Liskov,Samuel Madden (MIT)

2013

Everything You Always Wanted to Know about Synchronization but Were Afraid to Ask

Tudor David,Rachid Guerraoui,Vasileios Trigonakis (EPFL)

Monday 3rd, 11:00-12:30

Time is of the Essence

Chair: Eddie Kohler

2013

Dandelion: A Compiler and Runtime for Heterogeneous Systems

Christopher J. Rossbach,Yuan Yu,Jon Currey,Jean-Philippe Martin,Dennis Fetterly (MSR Silicon Valley)

2013

Sparrow: Distributed, Low Latency Scheduling

Kay Ousterhout,Patrick Wendell,Matei Zaharia,Ion Stoica (UC Berkeley)

2013

Timecard: Controlling User-Perceived Delays in Server-Based Mobile Applications

Lenin Ravindranath (MIT),Jitendra Padhye, Ratul Mahajan (MSR),Hari Balakrishnan (MIT)

Monday 3rd, 14:00-15:30

Seed Corn

Chair: Robert Morris

2013

Fast Dynamic Binary Translation for the Kernel

Piyus Kedia,Sorav Bansal (IIT Delhi)

2013

VirtuOS: An Operating System with Kernel Virtualization

Ruslan Nikolaev,Godmar Back (Virginia Polytechnic Institute)

2013

From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?

Kevin Elphinstone,Gernot Heiser (NICTA & UNSW)

Monday 3rd, 16:00-18:00

Everything in its Place

Chair: James Mickens

2013

Replication, History, and Grafting in the Ori File System

Ali José Mashtizadeh,Andrea Bittau,Yifeng Frank Huang,David Mazières (Stanford)

2013

An Analysis of Facebook Photo Caching

Qi Huang,Ken Birman,Robbert van Renesse (Cornell),Wyatt Lloyd (Princeton),Sanjeev Kumar,Harry C. Li (Facebook)

2013

IOFlow: A Software-Defined Storage Architecture

Eno Thereska,Hitesh Ballani,Greg O'Shea,Thomas Karagiannis,Antony Rowstron (MSR),Tom Talpey (Microsoft),Richard Black (MSR),Timothy Zhu (CMU)

2013

From ARIES to MARS: Transaction Support for Next-Generation, Solid-State Drives

Joel Coburn,Trevor Bunker,Meir Schwarz,Rajesh K. Gupta,Steven Swanson (UC San Diego)

Monday 3rd, 18:00-20:00

Poster Session 1

Tuesday 4th, 08:30-10:30

Whoops

Chair: Robbert van Renesse

2013

Asynchronous Intrusion Recovery for Interconnected Web Services

Ramesh Chandra,Taesoo Kim,Nickolai Zeldovich (MIT)

2013

Optimistic Crash Consistency

Vijay Chidambaram,Thanumalayan Sankaranarayana Pillai,Andrea C. Arpaci-Dusseau,Remzi H. Arpaci-Dusseau (University of Wisconsin-Madison)

2013

Do Not Blame Users for Misconfigurations

Tianyin Xu,Jiaqi Zhang,Peng Huang,Jing Zheng,Tianwei Sheng (UC San Diego),Ding Yuan (University of Toronto),Yuanyuan Zhou (UC San Diego),Shankar Pasupathy (NetApp)

2013

Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior

Xi Wang,Nickolai Zeldovich,M. Frans Kaashoek,Armando Solar-Lezama (MIT)

Tuesday 4th, 11:00-12:30

Data, Data, Everywhere

Chair: John Ousterhout

2013

Transaction Chains: Achieving Serializability with Low Latency in Geo-Distributed Storage Systems

Yang Zhang,Russell Power,Siyuan Zhou,Yair Sovran (NYU),Marcos K. Aguilera (MSR),Jinyang Li (NYU)

2013

SPANStore: Cost-Effective Geo-Replicated Storage Spanning Multiple Cloud Services

Zhe Wu,Michael Butkiewicz,Dorian Perkins (UC Riverside),Ethan Katz-Bassett (USC),Harsha V. Madhyastha (UC Riverside)

2013

Consistency-Based Service Level Agreements for Cloud Storage

Douglas B. Terry,Vijayan Prabhakaran,Ramakrishna Kotla,Mahesh Balakrishnan,Marcos K. Aguilera (MSR Silicon Valley),Hussam Abu-Libdeh (Cornell)

Tuesday 4th, 15:30-17:00

Right Makes Might

Chair: YY Zhou

2013

Tango: Distributed Data Structures over a Shared Log

Mahesh Balakrishnan,Dahlia Malkhi,Ted Wobber,Ming Wu,Vijayan Prabhakaran (MSR SIlicon Valley),Michael Wei (UCSD),John D. Davis (MSR SIlicon Valley),Sriram Rao (Microsoft),Tao Zou (Cornell),Aviad Zuck (Tel-Aviv University)

2013

Verifying Computations with State

Benjamin Braun (UT Austin),Ariel J. Feldman (University of Pennsylvania),Zuocheng Ren,Srinath Setty,Andrew J. Blumberg,Michael Walfish (UT Austin)

2013

There Is More Consensus In Egalitarian Parliaments

Iulian Moraru,David G. Andersen (CMU),Michael Kaminsky (Intel Labs)

Tuesday 4th, 17:00-18:00

Work in Progress

Chair: Emin Gün Sirer

Tuesday 4th, 18:00-20:00

Poster Session 2

Wednesday 5th, 09:00-10:30

N' Sync

Chair: Michael Walfish

2013

ROOT: Replaying Multithreaded Traces with Resource-Oriented Ordering

Zev Weiss,Tyler Harter,Andrea C. Arpaci-Dusseau,Remzi H. Arpaci-Dusseau (University of Wisconsin-Madison)

2013

PARROT: A Practical Runtime for Deterministic, Stable, and Reliable Threads

Heming Cui (Columbia),Jiri Simsa (CMU),Yi-Hong Lin, Hao Li (Columbia),Ben Blum (CMU),Xinan Xu,Junfeng Yang (Columbia),Garth A. Gibson,Randal E. Bryant (CMU)

2013

RaceMob: Crowdsourced Data Race Detection

Baris Kasikci,Cristian Zamfir,George Candea (EPFL)

Wednesday 5th, 11:00-13:00

Data into Information

Chair: George Candea

2013

Discretized Streams: Fault-Tolerant Streaming Computation at Scale

Matei Zaharia,Tathagata Das,Haoyuan Li,Timothy Hunter,Scott Shenker,Ion Stoica (UC Berkeley)

2013

Naiad: A Timely Dataflow System

Derek G. Murray,Frank McSherry,Rebecca Isaacs,Michael Isard,Paul Barham,Martín Abadi (MSR Silicon Valley)

2013

A Lightweight Infrastructure for Graph Analytics

Donald Nguyen,Andrew Lenharth,Keshav Pingali (UT Austin)

2013

X-Stream: Edge-Centric Graph Processing using Streaming Partitions

Amitabha Roy,Ivo Mihailovic,Willy Zwaenepoel (EPFL)

23rd SOSP — October 23-26, 2011 —Cascais, Portugal

General Chair: Ted Wobber

Program Chair: Peter Druschel

Monday 24th, 08:30-09:00

Welcome and Awards

Monday 24th, 09:00-10:30

Key-Value

Chair: Marvin Theimer

2011

SILT: A Memory-Efficient, High-Performance Key-Value Store

Hyeontaek Lim,Bin Fan,David G. Andersen (CMU),Michael Kaminsky (Intel Labs)

2011

Scalable Consistency in Scatter

Lisa Glendenning,Ivan Beschastnikh,Arvind Krishnamurthy,Thomas Anderson (University of Washington)

2011

Fast Crash Recovery in RAMCloud

Diego Ongaro,Stephen M. Rumble,Ryan Stutsman,John Ousterhout,Mendel Rosenblum (Stanford)

Monday 24th, 11:00-12:30

Storage

Chair: Eddie Kohler

2011

Design Implications for Enterprise Storage Systems via Multi-Dimensional Trace Analysis

Yanpei Chen (UC Berkeley),Kiran Srinivasan,Garth Goodson (NetApp),Randy Katz (UC Berkeley)

2011

Differentiated Storage Services

Michael Mesnier,Jason B. Akers,Feng Chen (Intel),Tian Luo (Ohio State)

2011

A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications

Tyler Harter,Chris Dragga,Michael Vaughn,Andrea C. Arpaci-Dusseau,Remzi H. Arpaci-Dusseau (University of Wisconsin, Madison)

Monday 24th, 14:00-15:30

Security

Chair: Adrian Perrig

2011

CryptDB: Protecting Confidentiality with Encrypted Query Processing

Raluca Ada Popa,Catherine M. S. Redfield,Nickolai Zeldovich,Hari Balakrishnan (MIT)

2011

Intrusion Recovery for Database-backed Web Applications

Ramesh Chandra,Taesoo Kim,Meelap Shah,Neha Narula,Nickolai Zeldovich (MIT)

2011

Software fault isolation with API integrity and multi-principal modules

Yandong Mao,Haogang Chen (MIT),Dong Zhou (Tsinghua),Xi Wang,Nickolai Zeldovich,M. Frans Kaashoek (MIT)

Monday 24th, 16:00-17:30

Reality

Chair: George Candea

2011

Thialfi: A Client Notification Service for Internet-Scale Applications

Atul Adya,Gregory Cooper,Daniel Myers,Michael Piatek (Google)

2011

Windows Azure Storage: A Highly Available Cloud Storage Service with Strong Consistency

Brad Calder,Ju Wang,Aaron Ogus,Niranjan Nilakantan,Arild Skjolsvold,Sam McKelvie,Yikang Xu,Shashwat Srivastav,Jiesheng Wu,Huseyin Simitci,Jaidev Haridas,Chakravarthy Uddaraju,Hemal Khatri,Andrew Edwards,Vaman Bedekar,Shane Mainali,Rafay Abbasi,Arpit Agarwal,Mian Fahim ul Haq,Muhammad Ikram ul Haq,Deepali Bhardwaj,Sowmya Dayanand,Anitha Adusumilli,Marvin McNett,Sriram Sankaran,Kavitha Manivannan,Leonidas Rigas (Microsoft)

2011

An Empirical Study on Configuration Errors in Commercial and Open Source Systems

Zuoning Yin,Xiao Ma (UIUC),Jing Zheng,Yuanyuan Zhou (UCSD),Lakshmi N. Bairavasundaram,Shankar Pasupathy (NetApp)

Monday 24th, 17:30-19:15

Posters

Tuesday 25th, 09:00-11:00

Virtualization

Chair: Gernot Heiser

2011

Cells: A Virtual Mobile Smartphone Architecture

Jeremy Andrus,Christoffer Dall,Alex Van’t Hof,Oren Laadan,Jason Nieh (Columbia)

2011

Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor

Patrick Colp,Mihir Nanavati (UBC),Jun Zhu (Citrix),William Aiello (UBC),George Coker (NSA),Tim Deegan (Citrix),Peter Loscocco (NSA),Andrew Warfield (UBC)

2011

CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization

Fengzhe Zhang,Jin Chen,Haibo Chen,Binyu Zang (Fudan University)

2011

Atlantis: Robust, Extensible Execution Environments for Web Applications

James Mickens (MSR),Mohan Dhawan (Rutgers)

Tuesday 25th, 11:30-12:30

OS Architecture

Chair: Nickolai Zeldovich

2011

PTask: Operating System Abstractions To Manage GPUs as Compute Devices

Christopher J. Rossbach,Jon Currey (MSR),Mark Silberstein (Technion),Baishakhi Ray,Emmett Witchel (UT Austin)

2011

Logical Attestation: An Authorization Architecture for Trustworthy Computing

Emin Gün Sirer (Cornell),Willem de Bruijn (Google),Patrick Reynolds (BlueStripe Software),Alan Shieh,Kevin Walsh,Dan Williams,Fred B. Schneider (Cornell)

Tuesday 25th, 14:00-16:00

Detection and Tracing

Chair: Rebecca Isaacs

2011

Practical Software Model Checking via Dynamic Interface Reduction

Huayang Guo (MSR and Tsinghua),Ming Wu,Lidong Zhou (MSR),Gang Hu (MSR and Tsinghua),Junfeng Yang (Columbia),Lintao Zhang (MSR)

2011

Detecting failures in distributed systems with the FALCON spy network

Joshua B. Leners,Hao Wu,Wei-Lun Hung (UT Austin),Marcos K. Aguilera (MSR),Michael Walfish (UT Austin)

2011

Secure Network Provenance

Wenchao Zhou,Qiong Fei,Arjun Narayan,Andreas Haeberlen,Boon Thau Loo (University of Pennsylvania),Micah Sherr (Georgetown University)

2011

Fay: Extensible Distributed Tracing from Kernels to Clusters

Úlfar Erlingsson (Google),Marcus Peinado (MSR),Simon Peter (ETH Zürich),Mihai Budiu (MSR)

Tuesday 25th, 16:30-18:00

Work in Progress

Chair: George Candea

Wednesday 26th, 09:00-11:00

Threads and Races

Chair: Bryan Ford

2011

Dthreads: Efficient Deterministic Multithreading

Tongping Liu,Charlie Curtsinger,Emery D. Berger (UMass Amherst)

2011

Efficient Deterministic Multithreading through Schedule Relaxation

Heming Cui,Jingyue Wu,John Gallagher,Huayang Guo,Junfeng Yang (Columbia)

2011

Pervasive Detection of Process Races in Deployed Systems

Oren Laadan,Nicolas Viennot,Chia-che Tsai,Chris Blinn,Junfeng Yang,Jason Nieh (Columbia)

2011

Detecting and Surviving Data Races using Complementary Schedules

Kaushik Veeraraghavan,Peter M. Chen,Jason Flinn,Satish Narayanasamy (University of Michigan)

Wednesday 26th, 11:30-12:30

Geo-Replication

Chair: Ant Rowstron

2011

Transactional storage for geo-replicated systems

Yair Sovran,Russell Power (NYU),Marcos K. Aguilera (MSR),Jinyang Li (NYU)

2011

Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS

Wyatt Lloyd,Michael J. Freedman (Princeton),Michael Kaminsky (Intel Labs),David G. Andersen (CMU)

22nd SOSP — October 11-14, 2009 —Big Sky, Montana, USA

General Chair: Tom Anderson

Program Chair: Jeanna Neefe Matthews

2009

The power of abstraction

Barbara Liskov

Scalability

Session Chair: Jeff Dean

2009

FAWN: a fast array of wimpy nodes

David G. Andersen,Jason Franklin,Michael Kaminsky,Amar Phanishayee,Lawrence Tan,Vijay Vasudevan

2009

RouteBricks: exploiting parallelism to scale software routers

Mihai Dobrescu,Norbert Egi,Katerina Argyraki,Byung-Gon Chun,Kevin Fall,Gianluca Iannaccone,Allan Knies,Maziar Manesh,Sylvia Ratnasamy

2009

The multikernel: a new OS architecture for scalable multicore systems

Andrew Baumann,Paul Barham,Pierre-Evariste Dagand,Tim Harris,Rebecca Isaacs,Simon Peter,Timothy Roscoe,Adrian Schüpbach,Akhilesh Singhania

Device Drivers

Session Chair: Philip Levis

2009

Fast byte-granularity software fault isolation

Miguel Castro,Manuel Costa,Jean-Philippe Martin,Marcus Peinado,Periklis Akritidis,Austin Donnelly,Paul Barham,Richard Black

2009

Tolerating hardware device failures in software

Asim Kadav,Matthew J. Renzelmann,Michael M. Swift

2009

Automatic device driver synthesis with termite

Leonid Ryzhyk,Peter Chubb,Ihor Kuz,Etienne Le Sueur,Gernot Heiser

Debugging

Session Chair: Yuanyuan Zhou

2009

Automatically patching errors in deployed software

Jeff H. Perkins,Sunghun Kim,Sam Larsen,Saman Amarasinghe,Jonathan Bachrach,Michael Carbin,Carlos Pacheco,Frank Sherwood,Stelios Sidiroglou,Greg Sullivan,Weng-Fai Wong,Yoav Zibin,Michael D. Ernst,Martin Rinard

2009

Debugging in the (very) large: ten years of implementation and experience

Kirk Glerum,Kinshuman Kinshumann,Steve Greenberg,Gabriel Aul,Vince Orgovan,Greg Nichols,David Grant,Gretchen Loihle,Galen Hunt

2009

Detecting large-scale system problems by mining console logs

Wei Xu,Ling Huang,Armando Fox,David Patterson,Michael I. Jordan

I/O

Session Chair: Peter Chen

2009

Better I/O through byte-addressable, persistent memory

Jeremy Condit,Edmund B. Nightingale,Christopher Frost,Engin Ipek,Benjamin Lee,Doug Burger,Derrick Coetzee

2009

Modular data storage with Anvil

Mike Mammarella,Shant Hovsepian,Eddie Kohler

2009

Operating System Transactions

Donald E. Porter,Owen S. Hofmann,Christopher J. Rossbach,Alexander Benn,Emmett Witchel

Parallel Debugging

Session Chair: Jeff Chase

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

ODR: output-deterministic replay for multicore debugging

Gautam Altekar,Ion Stoica

Kernels

Session Chair: Timothy Roscoe

2009

seL4: formal verification of an OS kernel

Gerwin Klein,Kevin Elphinstone,Gernot Heiser,June Andronick,David Cock,Philip Derrin,Dhammika Elkaduwe,Kai Engelhardt,Rafal Kolanski,Michael Norrish,Thomas Sewell,Harvey Tuch,Simon Winwood

2009

Helios: heterogeneous multiprocessing with satellite kernels

Edmund B. Nightingale,Orion Hodson,Ross McIlroy,Chris Hawblitzel,Galen Hunt

2009

Surviving sensor network software faults

Yang Chen,Omprakash Gnawali,Maria Kazandjieva,Philip Levis,John Regehr

Clusters

Session Chair: David Andersen

2009

Distributed aggregation for data-parallel computing: interfaces and implementations

Yuan Yu,Pradeep Kumar Gunda,Michael Isard

2009

Quincy: fair scheduling for distributed computing clusters

Michael Isard,Vijayan Prabhakaran,Jon Currey,Udi Wieder,Kunal Talwar,Andrew Goldberg

2009

Upright cluster services

Allen Clement,Manos Kapritsos,Sangmin Lee,Yang Wang,Lorenzo Alvisi,Mike Dahlin,Taylor Riche

Security

Session Chair: Stefan Savage

2009

Improving application security with data flow assertions

Alexander Yip,Xi Wang,Nickolai Zeldovich,M. Frans Kaashoek

2009

Heat-ray: combating identity snowball attacks using machine learning, combinatorial optimization and attack graphs

John Dunagan,Alice X. Zheng,Daniel R. Simon

2009

Fabric: a platform for secure distributed computation and storage

Jed Liu,Michael D. George,K. Vikram,Xin Qi,Lucas Waye,Andrew C. Myers

21st SOSP — October 14-17, 2007 —Stevenson, Washington, USA

General Chair: Thomas C. Bressoud

Program Chair: M. Frans Kaashoek

Web Meets Operating Systems

Session Chair: Hank Levy

2007

Protection and communication abstractions for web browsers in MashupOS

Helen J. Wang,Xiaofeng Fan,Jon Howell,Collin Jackson

2007

AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications

Emre Kiciman,Benjamin Livshits

2007

Secure web applications via automatic partitioning

Stephen Chong,Jed Liu,Andrew C. Myers,Xin Qi,K. Vikram,Lantian Zheng,Xin Zheng

Byzantine Fault Tolerance

Session chair: Peter Druschel

2007

Zyzzyva: speculative byzantine fault tolerance

Ramakrishna Kotla,Lorenzo Alvisi,Mike Dahlin,Allen Clement,Edmund Wong

2007

Tolerating byzantine faults in transaction processing systems using commit barrier scheduling

Ben Vandiver,Hari Balakrishnan,Barbara Liskov,Sam Madden

2007

Low-overhead byzantine fault-tolerant storage

James Hendricks,Gregory R. Ganger,Michael K. Reiter

Concurrency

Session chair: Mike Schroeder

2007

TxLinux: using and managing hardware transactional memory in an operating system

Christopher J. Rossbach,Owen S. Hofmann,Donald E. Porter,Hany E. Ramadan,Bhandari Aditya,Emmett Witchel

2007

MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs

Shan Lu,Soyeon Park,Chongfeng Hu,Xiao Ma,Weihang Jiang,Zhenmin Li,Raluca A. Popa,Yuanyuan Zhou

Software Robustness

Session chair: Peter Chen

2007

Bouncer: securing software by blocking bad input

Manuel Costa,Miguel Castro,Lidong Zhou,Lintao Zhang,Marcus Peinado

2007

Triage: diagnosing production run failures at the user's site

Joseph Tucek,Shan Lu,Chengdu Huang,Spiros Xanthos,Yuanyuan Zhou

2007

/​*icomment: bugs or bad comments?*​/

Lin Tan,Ding Yuan,Gopal Krishna,Yuanyuan Zhou

Distributed Systems

Session chair: Sharon Perl

2007

Sinfonia: a new paradigm for building scalable distributed systems

Marcos K. Aguilera,Arif Merchant,Mehul Shah,Alistair Veitch,Christos Karamanolis

2007

PeerReview: practical accountability for distributed systems

Andreas Haeberlen,Petr Kouznetsov,Peter Druschel

2007

Attested append-only memory: making adversaries stick to their word

Byung-Gon Chun,Petros Maniatis,Scott Shenker,John Kubiatowicz

2007

Dynamo: amazon's highly available key-value store

Giuseppe DeCandia,Deniz Hastorun,Madan Jampani,Gunavardhan Kakulapati,Avinash Lakshman,Alex Pilchin,Swaminathan Sivasubramanian,Peter Vosshall,Werner Vogels

System Maintenance

Session chair: Jeff Mogul

2007

Staged deployment in mirage, an integrated software upgrade testing and distribution system

Olivier Crameri,Nikola Knezevic,Dejan Kostic,Ricardo Bianchini,Willy Zwaenepoel

2007

AutoBash: improving configuration management with operating system causality analysis

Ya-Yunn Su,Mona Attariyan,Jason Flinn

Energy

Session chair: Carla Ellis

2007

Integrating concurrency control and energy management in device drivers

Kevin Klues,Vlado Handziski,Chenyang Lu,Adam Wolisz,David Culler,David Gay,Philip Levis

2007

VirtualPower: coordinated power management in virtualized enterprise systems

Ripal Nathuji,Karsten Schwan

Storage

Session chair: David Mazières

2007

DejaView: a personal virtual computer recorder

Oren Laadan,Ricardo A. Baratto,Dan B. Phung,Shaya Potter,Jason Nieh

2007

Improving file system reliability with I/O shepherding

Haryadi S. Gunawi,Vijayan Prabhakaran,Swetha Krishnan,Andrea C. Arpaci-Dusseau,Remzi H. Arpaci-Dusseau

2007

Generalized file system dependencies

Christopher Frost,Mike Mammarella,Eddie Kohler,Andrew de los Reyes,Shant Hovsepian,Andrew Matsuoka,Lei Zhang

Operating System Security

Session chair: Andrew Myers

2007

Information flow control for standard OS abstractions

Maxwell Krohn,Alexander Yip,Micah Brodsky,Natan Cliffer,M. Frans Kaashoek,Eddie Kohler,Robert Morris

2007

SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes

Arvind Seshadri,Mark Luk,Ning Qu,Adrian Perrig

2007

Secure virtual architecture: a safe execution environment for commodity operating systems

John Criswell,Andrew Lenharth,Dinakar Dhurjati,Vikram Adve

20th SOSP — October 23-26, 2005 —Brighton, United Kingdom

General Chair: Andrew Herbert

Program Chair: Ken Birman

2005

Untitled

Andy Tanenbaum

Integrity and Isolation

Chair: Gun Sirer

2005

Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems

Arvind Seshadri,Mark Luk,Elaine Shi,Adrian Perrig,Leendert van Doorn,Pradeep Khosla

2005

Labels and event processes in the asbestos operating system

Petros Efstathopoulos,Maxwell Krohn,Steve VanDeBogart,Cliff Frey,David Ziegler,Eddie Kohler,David Mazières,Frans Kaashoek,Robert Morris

2005

Mondrix: memory isolation for linux using mondriaan memory protection

Emmett Witchel,Junghwan Rhee,Krste Asanović

Distributed Systems

Chair: Miguel Castro

2005

BAR fault tolerance for cooperative services

Amitanand S. Aiyer,Lorenzo Alvisi,Allen Clement,Mike Dahlin,Jean-Philippe Martin,Carl Porth

2005

Fault-scalable Byzantine fault-tolerant services

Michael Abd-El-Malek,Gregory R. Ganger,Garth R. Goodson,Michael K. Reiter,Jay J. Wylie

2005

Implementing declarative overlays

Boon Thau Loo,Tyson Condie,Joseph M. Hellerstein,Petros Maniatis,Timothy Roscoe,Ion Stoica

History and Context

Chair: Willy Zwaenepoel

2005

Detecting past and present intrusions through vulnerability-specific predicates

Ashlesha Joshi,Samuel T. King,George W. Dunlap,Peter M. Chen

2005

Capturing, indexing, clustering, and retrieving system history

Ira Cohen,Steve Zhang,Moises Goldszmidt,Julie Symons,Terence Kelly,Armando Fox

2005

Connections: using context to enhance file search

Craig A. N. Soules,Gregory R. Ganger

Containment

Chair: Frans Kaashoek

2005

Vigilante: end-to-end containment of internet worms

Manuel Costa,Jon Crowcroft,Miguel Castro,Antony Rowstron,Lidong Zhou,Lintao Zhang,Paul Barham

2005

Scalability, fidelity, and containment in the potemkin virtual honeyfarm

Michael Vrable,Justin Ma,Jay Chen,David Moore,Erik Vandekieft,Alex C. Snoeren,Geoffrey M. Voelker,Stefan Savage

2005

The taser intrusion recovery system

Ashvin Goel,Kenneth Po,Kamran Farhadi,Zheng Li,Eyal de Lara

2005

Peer-to-peer: still useless?

Moderator: Ken Birman

Filesystems

Chair: Maarten van Steen

2005

Hibernator: helping disk arrays sleep through the winter

Qingbo Zhu,Zhifeng Chen,Lin Tan,Yuanyuan Zhou,Kimberly Keeton,John Wilkes

2005

Speculative execution in a distributed file system

Edmund B. Nightingale,Peter M. Chen,Jason Flinn

2005

IRON file systems

Vijayan Prabhakaran,Lakshmi N. Bairavasundaram,Nitin Agrawal,Haryadi S. Gunawi,Andrea C. Arpaci-Dusseau,Remzi H. Arpaci-Dusseau

2005

RaceTrack: efficient detection of data race conditions via adaptive tracking

Yuan Yu,Tom Rodeheffer,Wei Chen

2005

Rx: treating bugs as allergies—a safe method to survive software failures

Feng Qin,Joseph Tucek,Jagadeesan Sundaresan,Yuanyuan Zhou

Optimization

Chair: Stefan Savage

2005

Idletime scheduling with preemption intervals

Lars Eggert,Joseph D. Touch

2005

FS2: dynamic data replication in free disk space for improving disk performance and energy consumption

Hai Huang,Wanda Hung,Kang G. Shin

2005

THINC: a virtual display architecture for thin-client computing

Ricardo A. Baratto,Leonard N. Kim,Jason Nieh

19th SOSP — October 19-22, 2003 —Bolton Landing, New York, USA

General Chair: Michael L. Scott

Program Chair: Larry Peterson

Safely Executing Untrusted Code

Chair: Ken Birman

2003

Upgrading transport protocols using untrusted mobile code

Parveen Patel,Andrew Whitaker,David Wetherall,Jay Lepreau,Tim Stack

2003

Model-carrying code: a practical approach for safe execution of untrusted applications

R. Sekar,V.N. Venkatakrishnan,Samik Basu,Sandeep Bhatkar,Daniel C. DuVarney

File and Storage Systems

Chair: Ted Wobber

2003

The Google file system

Sanjay Ghemawat,Howard Gobioff,Shun-Tak Leung

2003

Preserving peer replicas by rate-limited sampled voting

Petros Maniatis,David S. H. Rosenthal,Mema Roussopoulos,Mary Baker,TJ Giuli,Yanto Muliadi

2003

Decentralized user authentication in a global file system

Michael Kaminsky,George Savvides,David Mazieres,M. Frans Kaashoek

Probing the Black Box

Chair: Dawson Engler

2003

Performance debugging for distributed systems of black boxes

Marcos K. Aguilera,Jeffrey C. Mogul,Janet L. Wiener,Patrick Reynolds,Athicha Muthitacharoen

2003

Transforming policies into mechanisms with infokernel

Andrea C. Arpaci-Dusseau,Remzi H. Arpaci-Dusseau,Nathan C. Burnett,Timothy E. Denehy,Thomas J. Engle,Haryadi S. Gunawi,James A. Nugent,Florentina I. Popovici

2003

User-level internet path diagnosis

Ratul Mahajan,Neil Spring,David Wetherall,Thomas Anderson

Scheduling and Resource Allocation

Chair: Ian Pratt

2003

Samsara: honor among thieves in peer-to-peer storage

Landon P. Cox,Brian D. Noble

2003

SHARP: an architecture for secure resource peering

Yun Fu,Jeffrey Chase,Brent Chun,Stephen Schwab,Amin Vahdat

2003

Energy-efficient soft real-time CPU scheduling for mobile multimedia systems

Wanghong Yuan,Klara Nahrstedt

Virtual Machine Monitors

Chair: Brian Bershad

2003

Xen and the art of virtualization

Paul Barham,Boris Dragovic,Keir Fraser,Steven Hand,Tim Harris,Alex Ho,Rolf Neugebauer,Ian Pratt,Andrew Warfield

2003

Implementing an untrusted operating system on trusted hardware

David Lie,Chandramohan A. Thekkath,Mark Horowitz

2003

Terra: a virtual machine-based platform for trusted computing

Tal Garfinkel,Ben Pfaff,Jim Chow,Mendel Rosenblum,Dan Boneh

Making Operating Systems More Robust

Chair: Frans Kaashoek

2003

Improving the reliability of commodity operating systems

Michael M. Swift,Brian N. Bershad,Henry M. Levy

2003

Backtracking intrusions

Samuel T. King,Peter M. Chen

2003

RacerX: effective, static detection of race conditions and deadlocks

Dawson Engler,Ken Ashcraft

Revising Old Friends

Chair: John Heidemann

2003

Separating agreement from execution for byzantine fault tolerant services

Jian Yin,Jean-Philippe Martin,Arun Venkataramani,Lorenzo Alvisi,Mike Dahlin

2003

Capriccio: scalable threads for internet services

Rob von Behren,Jeremy Condit,Feng Zhou,George C. Necula,Eric Brewer

Overlay & Peer-to-Peer Networks

Chair: John Wilkes

2003

Bullet: high bandwidth data dissemination using an overlay mesh

Dejan Kostić,Adolfo Rodriguez,Jeannie Albrecht,Amin Vahdat

2003

SplitStream: high-bandwidth multicast in cooperative environments

Miguel Castro,Peter Druschel,Anne-Marie Kermarrec,Animesh Nandi,Antony Rowstron,Atul Singh

2003

Measurement, modeling, and analysis of a peer-to-peer file-sharing workload

Krishna P. Gummadi,Richard J. Dunn,Stefan Saroiu,Steven D. Gribble,Henry M. Levy,John Zahorjan

18th SOSP — October 21-24, 2001 —Lake Louise, Banff, Canada

General Chair: Keith Marzullo

Program Chair: M. Satyanarayanan

Trust and Dependability

Chair: Maurice Herlihy

2001

Untrusted hosts and confidentiality: secure program partitioning

Steve Zdancewic,Lantian Zheng,Nathaniel Nystrom,Andrew C. Myers

2001

BASE: using abstraction to improve fault tolerance

Rodrigo Rodrigues,Miguel Castro,Barbara Liskov

2001

The costs and limits of availability for replicated services

Haifeng Yu,Amin Vahdat

Deconstructing the OS

Chair: Mike Jones

2001

Information and control in gray-box systems

Andrea C. Arpaci-Dusseau,Remzi H. Arpaci-Dusseau

2001

Bugs as deviant behavior: a general approach to inferring errors in systems code

Dawson Engler,David Yu Chen,Seth Hallem,Andy Chou,Benjamin Chelf

2001

An empirical study of operating systems errors

Andy Chou,Junfeng Yang,Benjamin Chelf,Seth Hallem,Dawson Engler

Invited Talk

Chair: Satya

2001

Why information security is hard — an economic perspective

Ross Anderson

Resource Management

Chair: Larry Peterson

2001

Real-time dynamic voltage scaling for low-power embedded operating systems

Padmanabhan Pillai,Kang G. Shin

2001

Managing energy and server resources in hosting centers

Jeffrey S. Chase,Darrell C. Anderson,Prachi N. Thakar,Amin M. Vahdat,Ronald P. Doyle

2001

Anticipatory scheduling: a disk scheduling framework to overcome deceptive idleness in synchronous I/O

Sitaram Iyer,Peter Druschel

Networking

Chair: Davie Tennenhouse

2001

Resilient overlay networks

David Andersen,Hari Balakrishnan,Frans Kaashoek,Robert Morris

2001

Building efficient wireless sensor networks with low-level naming

John Heidemann,Fabio Silva,Chalermek Intanagonwiwat,Ramesh Govindan,Deborah Estrin,Deepak Ganesan

2001

Mesh-based content routing using XML

Alex C. Snoeren,Kenneth Conley,David K. Gifford

File Systems

Chair: Hari Balakrishnan

2001

A low-bandwidth network file system

Athicha Muthitacharoen,Benjie Chen,David Mazières

2001

Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility

Antony Rowstron,Peter Druschel

2001

Wide-area cooperative storage with CFS

Frank Dabek,M. Frans Kaashoek,David Karger,Robert Morris,Ion Stoica

Invited Talk

Chair: Satya

2001

Software upgrades in distributed systems

Barbara Liskov

Event-Driven Architectures

Chair: Butler Lampson

2001

Building a robust software-based router using network processors

Tammo Spalink,Scott Karlin,Larry Peterson,Yitzchak Gottlieb

2001

SEDA: an architecture for well-conditioned, scalable internet services

Matt Welsh,David Culler,Eric Brewer

Invited Talk

Chair: Butler Lampson

2001

Contrasting the past — new contexts, new arguments

Roger Needham

17th SOSP — December 12-15, 1999 —Kiawah Island, South Carolina, USA

General Chair: David Kotz

Program Chair: John Wilkes

Distributed Systems (1)

Session chair: Jean Bacon

1999

Manageability, availability and performance in Porcupine: a highly scalable, cluster-based mail service

Yasushi Saito,Brian N. Bershad,Henry M. Levy

1999

On the scale and performance of cooperative Web proxy caching

Alec Wolman,M. Voelker,Nitin Sharma,Neal Cardwell,Anna Karlin,Henry M. Levy

Client Systems

Session chair: Eric Brewer

1999

The interactive performance of SLIM: a stateless, thin-client architecture

Brian K. Schmidt,Monica S. Lam,J. Duane Northcutt

1999

Energy-aware adaptation for mobile applications

Jason Flinn,M. Satyanarayanan

Networking (1)

Session chair: Peter Lee

1999

Active network vision and reality: lessions from a capsule-based system

David Wetherall

1999

Building reliable, high-performance communication systems from components

Xiaoming Liu,Christoph Kreitz,Robbert van Renesse,Jason Hickey,Mark Hayden,Kenneth Birman,Robert Constable

File Systems

Session chair: Peter Chen

1999

File system usage in Windows NT 4.0

Werner Vogels

1999

Deciding when to forget in the Elephant file system

Douglas S. Santry,Michael J. Feeley,Norman C. Hutchinson,Alistair C. Veitch,Ross W. Carton,Jacob Ofir

1999

Separating key management from file system security

David Mazières,Michael Kaminsky,M. Frans Kaashoek,Emmett Witchel

OS Kernels

Session chair: David Black

1999

Integrating segmentation and paging protection for safe, efficient and transparent software extensions

Tzi-cker Chiueh,Ganesh Venkitachalam,Prashant Pradhan

1999

Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors

Kinshuk Govil,Dan Teodosiu,Yongqiang Huang,Mendel Rosenblum

1999

EROS: a fast capability system

Jonathan S. Shapiro,Jonathan M. Smith,David J. Farber

Invited Speakers

Session Chair: John Wilkes

1999

Coping with complexity

Jerry Saltzer

1999

Computer systems research: past and future

Butler Lampson

Distributed Systems (2)

Session chair: Jay Lepreau

1999

The design and implementation of an intentional naming system

William Adjie-Winoto,Elliot Schwartz,Hari Balakrishnan,Jeremy Lilley

1999

Design and implementation of a distributed virtual machine for networked computers

Emin Gün Sirer,Robert Grimm,Arthur J. Gregory,Brian N. Bershad

Networking (2)

Session chair: Chandu Thekkath

1999

The Click modular router

Robert Morris,Eddie Kohler,John Jannotti,M. Frans Kaashoek

1999

Soft timers: efficient microsecond software timer support for network processing

Mohit Aron,Peter Druschel

Real-time

Session chair: Jack Stankovic

1999

Progress-based regulation of low-importance processes

John R. Douceur,William J. Bolosky

1999

Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler

Kenneth J. Duda,David R. Cheriton

1999

EMERALDS: a small-memory real-time microkernel

Khawar M. Zuberi,Padmanabhan Pillai,Kang G. Shin

16th SOSP — October 5-8, 1997 —Saint Malo, France

General Chair: Michel Banâtre

Program Chair: Henry Levy

1997

The Linux challenge

Linus Torvalds

Performance and Correctness

Chair: Jeff Chase

1997

Continuous profiling: where have all the cycles gone?

Jennifer M. Anderson,Lance M. Berc,Jeffrey Dean,Sanjay Ghemawat,Monika R. Henzinger,Shun-Tak A. Leung,Richard L. Sites,Mark T. Vandevoorde,Carl A. Waldspurger,William E. Weihl

1997

System support for automatic profiling and optimization

Xiaolan Zhang,Zheng Wang,Nicholas Gloy,J. Bradley Chen,Michael D. Smith

1997

Eraser: a dynamic data race detector for multi-threaded programs

Stefan Savage,Michael Burrows,Greg Nelson,Patrick Sobalvarro,Thomas Anderson

Kernels and OS Structure

Chair: Mendel Rosenblum

1997

The Flux OSKit: a substrate for kernel and language research

Bryan Ford,Godmar Back,Greg Benson,Jay Lepreau,Albert Lin,Olin Shivers

1997

Application performance and flexibility on exokernel systems

M. Frans Kaashoek,Dawson R. Engler,Gregory R. Ganger,Hector M. Briceño,Russell Hunt,David Mazières,Thomas Pinckney,Robert Grimm,John Jannotti,Kenneth Mackenzie

1997

The performance of μ-kernel-based systems

Hermann Härtig,Michael Hohmuth,Jochen Liedtke,Jean Wolter,Sebastian Schönberg

Network and Data Services

Chair: Dave Gifford

1997

Cluster-based scalable network services

Armando Fox,Steven D. Gribble,Yatin Chawathe,Eric A. Brewer,Paul Gauthier

1997

Free transactions with Rio Vista

David E. Lowell,Peter M. Chen

1997

HAC: hybrid adaptive caching for distributed storage systems

Miguel Castro,Atul Adya,Barbara Liskov,Andrew C. Myers

Security

Chair: Paulo Guedes

1997

Extensible security architectures for Java

Dan S. Wallach,Dirk Balfanz,Drew Dean,Edward W. Felten

1997

A decentralized model for information flow control

Andrew C. Myers,Barbara Liskov

Multiprocessing Support

Chair: Kai Li

1997

Disco: running commodity operating systems on scalable multiprocessors

Edouard Bugnion,Scott Devine,Mendel Rosenblum

1997

Towards transparent and efficient software distributed shared memory

Daniel J. Scales,Kourosh Gharachorloo

1997

Cashmere-2L: software coherent shared memory on a clustered remote-write network

Robert Stets,Sandhya Dwarkadas,Nikolaos Hardavellas,Galen Hunt,Leonidas Kontothanassis,Srinivasan Parthasarathy,Michael Scott

Scheduling for Multimedia

Chair: Susan Owicki

1997

The design, implementation and evaluation of SMART: a scheduler for multimedia applications

Jason Nieh,Monica S. Lam

1997

CPU reservations and time constraints: efficient, predictable scheduling of independent activities

Michael B. Jones,Daniela Roşu,Marcel-Cătălin Roşu

1997

Distributed schedule management in the Tiger video fileserver

William J. Bolosky,Robert P. Fitzgerald,John R. Douceur

File Systems and I/O

Chair: John Wilkes

1997

Frangipani: a scalable distributed file system

Chandramohan A. Thekkath,Timothy Mann,Edward K. Lee

1997

Improving the performance of log-structured file systems with adaptive methods

Jeanna Neefe Matthews,Drew Roselli,Adam M. Costello,Randolph Y. Wang,Thomas E. Anderson

1997

Exploiting the non-determinism and asynchrony of set iterators to reduce aggregate file I/O latency

David C. Steere

Mobile Systems

Chair: Jeff Mogul

1997

Automated hoarding for mobile computers

Geoffrey H. Kuenning,Gerald J. Popek

1997

Agile application-aware adaptation for mobility

Brian D. Noble,M. Satyanarayanan,Dushyanth Narayanan,James Eric Tilton,Jason Flinn,Kevin R. Walker

1997

Flexible update propagation for weakly consistent replication

Karin Petersen,Mike J. Spreitzer,Douglas B. Terry,Marvin M. Theimer,Alan J. Demers

15th SOSP — December 3-6, 1995 —Copper Mountain, Colorado, USA

General Chair: John K. Bennet

Program Chair: Mark Weiser

1995

Hypervisor-based fault tolerance

T. C. Bressoud,F. B. Schneider

1995

Hive: fault containment for shared-memory multiprocessors

J. Chapin,M. Rosenblum,S. Devine,T. Lahiri,D. Teodosiu,A. Gupta

1995

Logged virtual memory

D. R. Cheriton,K. J. Duda

1995

U-Net: a user-level network interface for parallel and distributed computing (includes URL)

T. von Eicken,A. Basu,V. Buch,W. Vogels

1995

A highly available scalable ITV system

Michael N. Nelson,Mark Linton,Susan Owicki

1995

Object and native code thread mobility among heterogeneous computers (includes sources)

B. Steensgaard,E. Jul

1995

Informed prefetching and caching

R. H. Patterson,G. A. Gibson,E. Ginting,D. Stodolsky,J. Zelenka

1995

The HP AutoRAID hierarchical storage system

J. Wilkes,R. Golding,C. Staelin,T. Sullivan

1995

Serverless network file systems

T. E. Anderson,M. D. Dahlin,J. M. Neefe,D. A. Patterson,D. S. Roselli,R. Y. Wang

1995

Performance of cache coherence in stackable filing

J. Heidemann,G. Popek

1995

Exploiting weak connectivity for mobile file access

L. B. Mummert,M. R. Ebling,M. Satyanarayanan

1995

Rover: a toolkit for mobile information access

A. D. Joseph,A. F. de Lespinasse,J. A. Tauber,D. K. Gifford,M. F. Kaashoek

1995

Managing update conflicts in Bayou, a weakly connected replicated storage system

D. B. Terry,M. M. Theimer,Karin Petersen,A. J. Demers,M. J. Spreitzer,C. H. Hauser

1995

A new page table for 64-bit address spaces

M. Talluri,M. D. Hill,Y. A. Khalidi

1995

Implementing global memory management in a workstation cluster

M. J. Feeley,W. E. Morgan,E. P. Pighin,A. R. Karlin,H. M. Levy,C. A. Thekkath

1995

CRL: high-performance all-software distributed shared memory

K. L. Johnson,M. F. Kaashoek,D. A. Wallach

1995

Going Threadbare: Sense or Sedition?

Debate on the threads abstraction, organized by Mary Baker

1995

On micro-kernel construction

J. Liedtke

1995

Exokernel: an operating system architecture for application-level resource management

D. R. Engler,M. F. Kaashoek,J. O'Toole, Jr.

1995

Extensibility safety and performance in the SPIN operating system

B. N. Bershad,S. Savage,P. Pardyak,E. G. Sirer,M. E. Fiuczynski,D. Becker,C. Chambers,S. Eggers

1995

The impact of architectural trends on operating system performance

M. Rosenblum,E. Bugnion,S. A. Herrod,E. Witchel,A. Gupta

1995

The measured performance of personal computer operating systems

J. B. Chen,Y. Endo,K. Chan,D. Mazieres,A. Dias,M. Seltzer,M. D. Smith

1995

Optimistic incremental specialization: streamlining a commercial operating system

C. Pu,T. Autrey,A. Black,C. Consel,C. Cowan,J. Inouye,L. Kethana,J. Walpole,K. Zhang

14th SOSP — December 5-8, 1993 —Asheville, North Carolina, USA

General Chair: Andrew P. Black

Program Chair: Barbara Liskov

1993

Operating Systems in a Changing World

Maurice V. Wilkes

1993

Extensible file systems in spring

Yousef A. Khalidi,Michael N. Nelson

1993

The logical disk: a new approach to improving file systems

Wiebren de Jonge,M. Frans Kaashoek,Wilson C. Hsieh

1993

The Zebra striped network file system

John H. Hartman,John K. Ousterhout

Models of Distributed Systems

1993

Understanding the limitations of causally and totally ordered communication

David R. Cheriton,Dale Skeen

1993

The Information Bus®: an architecture for extensible distributed systems

Brian Oki,Manfred Pfluegl,Alex Siegel,Dale Skeen

1993

Subcontract: a flexible base for distributed programming

Graham Hamilton,Michael L. Powell,James G. Mitchell

1993

Interposition agents: transparently interposing user code at the system interface

Michael B. Jones

1993

Using threads in interactive systems: a case study

Carl Hauser,Christian Jacobi,Marvin Theimer,Brent Welch,Mark Weiser

1993

Protection traps and alternatives for memory management of an object-oriented language

Antony L. Hosking,J. Eliot B. Moss

1993

The impact of operating system structure on memory system performance

J. Bradley Chen,Brian N. Bershad

1993

Performance assertion checking

Sharon E. Perl,William E. Weihl

1993

Lightweight recoverable virtual memory

M. Satyanarayanan,Henry H. Mashburn,Puneet Kumar,David C. Steere,James J. Kistler

1993

Concurrent compacting garbage collection of a persistent heap

James O'Toole,Scott Nettles,David Gifford

1993

Improving IPC by kernel design

Jochen Liedtke

1993

Fbufs: a high-bandwidth cross-domain transfer facility

Peter Druschel,Larry L. Peterson

1993

Efficient software-based fault isolation

Robert Wahbe,Steven Lucco,Thomas E. Anderson,Susan L. Graham

1993

Network objects

Andrew Birrell,Greg Nelson,Susan Owicki,Edward Wobber

1993

Handling audio and video streams in a distributed environment

Alan Jones,Andrew Hopper

1993

Protocol service decomposition for high-performance networking

Chris Maeda,Brian N. Bershad

1993

Authentication in the Taos operating system

Edward Wobber,Martín Abadi,Michael Burrows,Butler Lampson

1993

Providing location information in a ubiquitous computing environment

Mike Spreitzer,Marvin Theimer

13th SOSP — October 13-16, 1991 —Pacific Grove, California, USA

General Chair: Jim Mitchell

Program Chair: Edward D. Lazowska

1991

The design and implementation of a log-structured file system

Mendel Rosenblum,John K. Ousterhout

1991

Semantic file systems

David K. Gifford,Pierre Jouvelot,Mark A. Sheldon,James W. O'Toole, Jr.

Shared Memory Multiprocessing

1991

The implications of cache affinity on processor scheduling for multiprogrammed, shared memory multiprocessors

Raj Vaswani,John Zahorjan

1991

Empirical studies of competitve spinning for a shared-memory multiprocessor

Anna R. Karlin,Kai Li,Mark S. Manasse,Susan Owicki

1991

A high performance multi-structured file system design

Keith Muller,Joseph Pasquale

1991

Scheduling and IPC mechanisms for continuous media

Ramesh Govindan,David P. Anderson

1991

Designing file systems for digital video and audio

P. Venkat Rangan,Harrick M. Vin

1991

Increasing the Effectiveness of Operating System Research

1991

Scheduler activations: effective kernel support for the user-level management of parallelism

Thomas E. Anderson,Brian N. Bershad,Edward D. Lazowska,Henry M. Levy

1991

First-class user-level threads

Brian D. Marsh,Michael L. Scott,Thomas J. LeBlanc,Evangelos P. Markatos

1991

Using continuations to implement thread management and communication in operating systems

Richard P. Draves,Brian N. Bershad,Richard F. Rashid,Randall W. Dean

Distributed Memory Multiprocessing

1991

The robustness of NUMA memory management

Richard P. LaRowe, Jr.,Carla Schlatter Ellis,Laurence S. Kaplan

1991

Implementation and performance of Munin

John B. Carter,John K. Bennett,Willy Zwaenepoel

Networking and Authentication

1991

Authentication in distributed systems: theory and practice

Butler Lampson,Martín Abadi,Michael Burrows,Edward Wobber

1991

Automatic reconfiguration in Autonet

Thomas L. Rodeheffer,Michael D. Schroeder

1991

Measurements of a distributed file system

Mary G. Baker,John H. Hartman,Michael D. Kupfer,Ken W. Shirriff,John K. Ousterhout

1991

Disconnected operation in the Coda file system

James J. Kistler,M. Satyanarayanan

Reliability in Distributed Systems

1991

Replication in the harp file system

Barbara Liskov,Sanjay Ghemawat,Robert Gruber,Paul Johnson,Liuba Shrira

1991

Experience with transactions in QuickSilver

Frank Schmuck,Jim Wylie

12th SOSP — December 3-6, 1989 —Litchfield Park, Arizona, USA

General Chair: Greg Andrew

Program Chair: John Ousterhout

Security

Session Chairman: F. Schneider

1989

A logic of authentication

M. Burrows,M. Abadi,R. Needham

1989

Reducing risks from poorly chosen keys

T. Lomas,L. Gong,J. Saltzer,R. Needham

NUMA Memory Management

Session Chairman: D. Redell

1989

Simple but effective techniques for NUMA memory management

W. Bolosky,R. Fitzgerald,M. Scott

1989

The implementation of a coherent memory abstraction on a NUMA multiprocessor: experiences with platinum

A. Cox,R. Fowler

File Caching

Session Chairman: M. Satyanarayanan

1989

Spritely NFS: experiments with cache-consistency protocols

V. Srinivasan,J. Mogul

1989

Exploiting read-mostly workloads in the FileNet file system

D. Edwards,M. Mckendry

1989

Improving the efficiency of UNIX buffer caches

A. Braunstein,M. Riley,J. Wilkes

Remote Procedure Call

Session Chairman: D. Terry

1989

Performance of Firefly RPC

M. Schroeder,M. Burrows

1989

RPC in the x-Kernel: evaluating new design techniques

L. Peterson,N. Hutchinson,S. O'Malley,M. Abbott

1989

Lightweight remote procedure call

B. Bershad,T. Anderson,E. Lazowska,H. Levy

Structural Issues

Session Chairman: S. Mullender

1989

The portable common runtime approach to interoperability

M. Weiser,A. Demers,C. Hauser

1989

Generic virtual memory management for operating system kernels

E. Abrossimov,M. Rozier,M. Shapiro

Multiprocessors

Session Chairman: J. Ousterhout

1989

Low-synchronization translation lookaside buffer consistency in large-scale shared-memory multiprocessors

B. Rosenburg

1989

The Amber system: parallel programming on a network of multiprocessors

J. Chase,F. Amador,E. Lazowska,H. Levy,R. Littlefield

1989

Process control and scheduling issues for multiprogrammed shared-memory multiprocessors

A. Tucker,A. Gupta

Performance

Session Chairman: A. Black

1989

A lazy buddy system bounded by two coalescing delays

R. Barkley,T. Lee

1989

Analysis of transaction management performance

D. Duchamp

1989

Threads and input/output in the synthesis kernal

H. Massalin,C. Pu

Time-based Distributed Coherency

Session Chairman: M. Theimer

1989

Leases: an efficient fault-tolerant mechanism for distributed file cache consistency

C. Gray,D. Cheriton

1989

Mirage: a coherent distributed shared memory design

B. Fleisch,G. Popek

11th SOSP — November 8-11, 1987 —Austin, Texas, USA

General Chairman: Les Belady

Program Chairman: Alfred Spector

Distributed File Systems

Session Chairman: E. Lazowska

1987

Scale and performance in a distributed file system

J. Howard,M. Kazar,S. Menees,D. Nichols,M. Satyanarayanan,Robert N. Sidebotham,M. West

1987

Caching in the Sprite network file system

M. Nelson,B. Welch,J. Ousterhout

Processing on Multiple Computers

Session Chairman: M. Schroeder

1987

Using idle workstations in a shared computing environment

D. Nichols

1987

Attacking the process migration bottleneck

E. Zayas

Useful Techniques

Session Chairman: E. Cooper

1987

Hashed and hierarchical timing wheels: data structures for the efficient implementation of a timer facility

G. Varghese,T. Lauck

1987

The packer filter: an efficient mechanism for user-level network code

J. Mogul,R. Rashid,M. Accetta

1987

A name service for evolving heterogeneous systems

M. Schwartz,J. Zahorjan,D. Notkin

Operating Systems

Session Chairman: D. Gifford

1987

The duality of memory and communication in the implementation of a multiprocessor operating system

M. Young,A. Tevanian,R. Rashid,D. Golub,J. Eppinger

1987

Time warp operating system

D. Jefferson,B. Beckman,F. Wieland,L. Blume,M. Diloreto

1987

Synchronization primitives for a multiprocessor: a formal specification

A. Birrell,J. Guttag,J. Horning,R. Levin

Systems

Session Chairman: N. Suzuki

1987

Managing stored voice in the etherphone system

D. Terry,D. Swinehart

1987

Fine-grained mobility in the emerald system

E. Jul,H. Levy,N. Hutchinson,A. Black

Transaction Facilities

Session Chairman: A. Spector

1987

Recovery management in QuickSilver

R. Haskin,Y. Malachi,W. Sawdon,G. Chan

1987

801 Storage: architecture and programming

A. Chang,M. Mergen

1987

Implementation of Argus

B. Liskov,D. Curtis,P. Johnson,R. Scheifer

Reliability Methods

Session Chairman: O. Babaoglu

1987

Exploiting virtual synchrony in distributed systems

K. Birman,T. Joseph

1987

Log files: an extended file service exploiting write-once storage

R. Finlayson,D. Cheriton

Efficient Recovery Techniques

Session Chairman: G. Steele

1987

A simple and efficient implementation of a small database

A. Birrell,M. Jones,E. Wobber

1987

Reimplementing the Cedar file system using logging and group commit

R. Hagmann

10th SOSP — December 1-4, 1985 —Orcas Island, Washington, USA

General Chairperson: Forest Baskett

Program Chairpersons: Andrew Birrell,David Cheriton

Distributed Operating Systems

1985

VAXclusters: a closely-coupled distributed system

Nancy P. Kronenberg,Henry M. Levy,William D. Strecker

1985

Preemptable remote execution facilities for the V-system

Marvin M. Theimer,Keith A. Lantz,David R. Cheriton

Measured Performance of Systems

1985

The integration of virtual memory management and interprocess communication in accent

Robert Fitzgerald,Richard F. Rashid

1985

A trace-driven analysis of the UNIX 4.2 BSD file system

John K. Ousterhout,Hervé Da Costa,David Harrison,John A. Kunze,Mike Kupfer,James G. Thompson

1985

A caching file system for a programmer's workstation

Michael D. Schroeder,David K. Gifford,Roger M. Needham

1985

The ITC distributed file system: principles and design

M. Satyanarayanan,John H. Howard,David A. Nichols,Robert N. Sidebotham,Alfred Z. Spector,Michael J. West

1985

A distributed file service based on optimistic concurrency control

Sape J. Mullender,Andrew S. Tanenbaum

Replication, Fault Tolerance

1985

Replicated distributed programs

Eric C. Cooper

1985

Replication and fault-tolerance in the ISIS system

Kenneth P. Birman

1985

Consistency and recovery control for replicated files

Dančo Davčev,Walter A. Burkhard

Facilities for Supercomputing

1985

Compiler directed memory management policy for numerical programs

Mohammad Malkawi,Janek Patel

1985

A data-flow approach to multitasking on CRAY X-MP computers

Steve Reinhardt

1985

Transactions and synchronization in a distributed operating system

Matthew J. Weinstein,Thomas W. Page, Jr.,Brian K. Livezey,Gerald J. Popek

1985

Distributed transactions for reliable systems

Alfred Z. Spector,Dean Daniels,Daniel Duchamp,Jeffrey L. Eppinger,Randy Pausch

1985

Reliable object storage to support atomic actions

Brian M. Oki,Barbara H. Liskov,Robert W. Scheifler

Alternative Architectures

1985

The S/Net's Linda kernel

Nicholas Carriero,David Gelernter

1985

An architecture for large scale information systems

David K. Gifford,Robert W. Baldwin,Stephen T. Berlin,John M. Lucassen

1985

The structuring of systems using upcalls

David D. Clark

1985

Supporting distributed applications: experience with Eden

Andrew P. Black

9th SOSP — October 10-13, 1983 —Bretton Woods, New Hampshire, USA

General Chairman: Jerome Saltzer

Program Chairmen: Roy Levin,David Redell

1983

Computation & communication in R*: a distributed database manager

Bruce G. Lindsay,Laura M. Haas,Paul F. Wilms,Robert A. Yost

1983

Implementing remote procedure calls

Andrew D. Birrell,Bruce Jay Nelson

1983

An asymmetric stream communication system

Andrew P. Black

1983

Resource management in a decentralized system

Daniel H. Craft

1983

A file system supporting cooperation between programs

Loretta Guarino Reid,Philip L. Karlton

1983

New methods for dynamic storage allocation (Fast Fits)

C. J. Stephenson

1983

Hints for computer system design

Butler W. Lampson

1983

The LOCUS distributed operating system

Bruce Walker,Gerald Popek,Robert English,Charles Kline,Greg Thiel

1983

A nested transaction mechanism for LOCUS

Erik T. Mueller,Johanna D. Moore,Gerald J. Popek

Recovery and Reconfiguration

1983

A message system supporting fault tolerance

Anita Borg,Jim Baumbach,Sam Glazer

1983

Publishing: a reliable broadcast communication mechanism

Michael L. Powell,David L. Presotto

1983

Process migration in DEMOS/MP

Michael L. Powell,Barton P. Miller

1983

Resolved: That network Transparency is a Bad Idea

1983

The TRIPOS filing machine, a front end to a file server

M. F. Richardson,R. M. Needham

1983

The distributed V kernel and its performance for diskless workstations

David R. Cheriton,Willy Zwaenepoel

1983

Experience with Grapevine: the growth of a distributed system

Michael D. Schroeder,Andrew D. Birrell,Roger M. Needham

1983

Reflections on the verification of the security of an operating system kernel

Jonathan M. Silverman

8th SOSP — December 14-16, 1981 —Pacific Grove, California, USA

General Chairperson: John Howard

Program Chairperson: David P. Reed

Verifying Systems Properties

Session Leader: John Howard

1981

Proving real-time properties of programs with temporal logic

Arthur Bernstein,Paul K. Harter, Jr.

1981

Design and verification of secure systems

J. M. Rushby

Systems

Session Leader: Edward Lazowska

1981

A NonStop kernel

Joel F. Bartlett

1981

Observations on the development of an operating system

Hugh C. Lauer

Remote Data Storage

Session Leader: Butler Lampson

1981

The Felix File Server

M. Fridrich,W. Older

1981

A comparison of two network-based file servers

James G. Mitchell,Jeremy Dion

1981

A reliable object-oriented data repository for a distributed computer system

Liba Svobodova

Computer-Computer Communication

Session Leader: David Reed

1981

Sequencing computation steps in a network

A. J. Herbert,R. M. Needham

1981

Accent: A communication oriented network operating system kernel

Richard F. Rashid,George G. Robertson

1981

Performing remote operations efficiently on a local computer network

Alfred Z. Spector

Memory Management

Session Leader: Alan Smith

1981

Converting a swap-based system to do paging in an architecture lacking page-referenced bits

Özalp Babaoglu,William Joy

1981

WSCLOCK—a simple and effective algorithm for virtual memory management

Richard W. Carr,John L. Hennessy

1981

A study of file sizes and functional lifetimes

M. Satyanarayanan

Protection Techniques

Session Leader: Dorothy Denning

1981

Hierarchical Take-Grant Protection systems

Matt Bishop

1981

Cryptographic sealing for information secrecy and authentication

David K. Gifford

The iMAX-432 Operating System

Session Leader: Anita Jones

1981

A unified model and implementation for interprocess communication in a multiprocessor environment

George W. Cox,William M. Corwin,Konrad K. Lai,Fred J. Pollack

1981

iMAX: A multiprocessor operating system for an object-based computer

Kevin C. Kahn,William M. Corwin,T. Don Dennis,Herman D'Hooge,David E. Hubka,Linda A. Hutchins,John T. Montague,Fred J. Pollack

1981

The iMAX-432 object filing system

Fred J. Pollack,Kevin C. Kahn,Roy M. Wilkinson

Distributed Systems

Session Leader: David Cheriton

1981

The architecture of the Eden system

Edward D. Lazowska,Henry M. Levy,Guy T. Almes,Michael J. Fischer,Robert J. Fowler,Stephen C. Vestal

1981

A distributed UNIX system based on a virtual circuit switch

G. W.R. Luderer,H. Che,J. P. Haggerty,P. A. Kirslis,W. T. Marshall

1981

LOCUS a network transparent, high reliability distributed system

G. Popek,B. Walker,J. Chow,D. Edwards,C. Kline,G. Rudisin,G. Thiel

User-Oriented Systems

Session Leader: Jim Gray

1981

Grapevine: An exercise in distributed computing

Andrew D. Birrell,Roy Levin,Roger M. Needham,Michael D. Schroeder

1981

BRUWIN: An adaptable design strategy for window manager/virtual terminal systems

Norman Meyrowitz,Margaret Moser

7th SOSP — December 10-12, 1979 —Pacific Grove, California, USA

General Chairperson: Michael D. Schroeder

Program Chairperson: Anita K. Jones

System Analysis and Prediction

Session Leader: Alan Batson

1979

A virtual machine emulator for performance evaluation

M. D. Canon,D. H. Fritz,J. H. Howard,T. D. Howell,M. F. Mitoma,J. Rodriguez-Rosell

1979

Modelling and analysis of distributed software systems

B. Kumar,Timothy A. Gonsalves

Shared Data in a Distributed System

Session Leader: Ken Thompson

1979

WFS a simple shared file system for a distributed environment

Daniel Swinehart,Gene McDaniel,David Boggs

1979

A client-based transaction system to maintain data integrity

William H. Paxton

System Construction Primitives

Session Leader: Alan Smith

1979

Evaluating synchronization mechanisms

Toby Bloom

1979

Primitives for distributed computing

Barbara Liskov

1979

Experience with processes and monitors in Mesa

Butler W. Lampson,David D. Redell

Information Flow Control

Session Leader: Anita Jones

1979

The transfer of information and authority in a protection system

Matt Bishop,Lawrence Snyder

1979

A mechanism for information control in parallel systems

Richard P. Reitman

1979

Specification and verification of the UCLA Unix security kernel

Bruce J. Walker,Richard A. Kemmerer,Gerald J. Popek

Distributed Systems: a Spectrum from Multiprocessors to Networks

Local Networks

Session Leader: Michael Schroeder

1979

The behavior of Ethernet-like computer communications networks

Guy T. Almes,Edward D. Lazowska

1979

Systems aspects of The Cambridge Ring

R. M. Needham

Personal Computers and their User Interfaces

Session Leader: Barbara Liskov

1979

Virtual terminal management in a multiple process environment

Keith A. Lantz,Richard F. Rashid

1979

An open operating system for a single-user machine

Butler W. Lampson,Robert F. Sproull

1979

Pilot: An operating system for a personal computer

David D. Redell,Yogen K. Dalal,Thomas R. Horsley,Haug C. Lauer,William C. Lynch,Paul R. McJones,Hal G. Murray,Stephen C. Purcell

Distributed Operating Systems

Session Leader: Roy Levin

1979

The Roscoe distributed operating system

Marvin H. Solomon,Raphael A. Finkel

1979

Medusa: An experiment in distributed operating system structure

John K. Ousterhout,Donald A. Scelza,Pradeep S. Sindhu

1979

StarOS, a multiprocessor operating system for the support of task forces

Anita K. Jones,Robert J. Chansler, Jr.,Ivor Durham,Karsten Schwans,Steven R. Vegdahl

Domains and Capabilities

Session Leader: Robert Fabry

1979

In support of domain structure for operating systems

Douglas Cook

1979

Variable-length capabilities as a solution to the small-object problem

Edward F. Gehringer

Distributed Data Management

Session Leader: Jim Gray

1979

Polyvalues: A tool for implementing atomic updates to distributed data

Warren A. Montgomery

1979

Weighted voting for replicated data

David K. Gifford

1979

Implementing atomic actions on decentralized data

David P. Reed

1979

Commentary

Jerome H. Saltzer

6th SOSP — November 16-18, 1977 —West Lafayette, Indiana, USA

General Chairman: Saul Rosen

Program Chairman: Peter J. Denning

1977

The Birth and Death of Operating Systems

Robert Barton

The CAP System

Chairman: W. Wulf

1977

The Cambridge CAP computer and its protection system

R. M. Needham,R. D.H. Walker

1977

The CAP filing system

R. M. Needham,A. D. Birrell

1977

The CAP project - an interim evaluation

R. M. Needham

The DEMOS System

Chairman: K. Thompson

1977

Task communication in DEMOS

Forest Baskett,John H. Howard,John T. Montague

1977

The DEMOS file system

Michael L. Powell

1977

Capability Systems: the Case for and Against

Chairman: R. S. Fabry

Panelists: R. Feiertag,K. J. Hamer-Hodges,A. K. Jones,B. W. Lampson,R. M. Needham,M. D. Schroeder

Issues in Computer Security

Chairman: G. J. Popek

1977

The Multics kernel design project

Michael D. Schroeder,David D. Clark,Jerome H. Saltzer

1977

Proving multilevel security of a system design

R. J. Feiertag,K. N. Levitt,L. Robinson

1977

Consistency and correctness of duplicate database systems

Clarence A. Ellis

Toward Distributed Systems

Chairman: B. W. Arden

1977

Measurements of sharing in Multics

Warren A. Montgomery

1977

Synchronization with eventcounts and sequencers (Extended Abstract)

David P. Reed,Rajendra K. Kanodia

1977

Metric (Extended Abstract): A kernel instrumentation system for distributed environments

Gene Mcdaniel

1977

A domain structure for distributed computer systems

L. Casey,N. Shelness

Program and Memory Policy Performance

Chairman: G. S. Graham

1977

Automatic and general solution to the adaptation of programs in a paging environment

J. Y. Babonneau,M. S. Achard,G. Morisset,M. B. Mounajjed

1977

Effect of program localities on memory management strategies

Takashi Masuda

1977

Analysis of demand paging policies with swapped working sets

Dominique Potier

1977

The Role of Performance Modeling in Systems Design

Chairman: Peter J. Denning

Panelists: Y. Bard,W. D. Frazer,E. Gelenbe,J. Rodriguez-Rosell,J. H. Saltzer

Information Flow and Fault Tolerance

Chairman: R. S. Gaines

1977

Information transmission in computational systems

Ellis Cohen

1977

On the synthesis and analysis of protection systems

Lawrence Snyder

1977

Process backup in producer-consumer systems

David L. Russell

Language and Systems

Chairman: A. N. Haberman

1977

Indeterminacy, monitors, and dataflow

Arvind,Kim P. Gostelow,Wil Plouffe

1977

Thoth, a portable real-time operating system (Extended Abstract)

David R. Cheriton,Michael A. Malcolm,Lawrence S. Melen,Gary R. Sager

1977

Beyond concurrent Pascal

Klaus-Peter Löhr

1977

The left-handed least unlikely last page-removal selection algorithm

Jerome H. Saltzer

5th SOSP — November 19-21, 1975 —Austin, Texas, USA

Conference Chairman: J. C. Browne

Program Chairmen: J. C. Browne,Juan Rodriguez-Rosell

Virtual Memory Algorithms

1975

How to evaluate page replacement algorithms

Richard Y. Kain

1975

MIN—an optimal variable-space page replacement algorithm

Barton G. Prieve,R. S. Fabry

1975

Analysis of the PFF replacement algorithm via a semi-Markov model

Wesley W. Chu,Holger Opderbeck

1975

An analysis of the performance of the page fault frequency (PFF) replacement algorithm.

E. Sadeh

1975

On protection in operating systems

Michael A. Harrison,Walter L. Ruzzo,Jeffrey D. Ullman

1975

Security Kernel validation in practice

Jonathan K. Millen

1975

Engineering a security kernel for Multics

Michael D. Schroeder

1975

MERT - a multi-environment real-time operating system

D. L. Bayer,H. Lycklama

1975

Dynamic linking and environment initialization in a multi-domain process.

Philippe A. Janson

1975

Architecture of a real time operating system

J. L. Pruitt,W. W. Case

1975

Reflections on an operating system design

Butler W. Lampson,Howard E. Sturgis

Network Operating Systems

1975

The network Unix system

Gregory L. Chesson

1975

Some constraints and tradeoffs in the design of network communications

E. A. Akkoyunlu,K. Ekanadham,R. V. Huber

1975

An operational system for computer resource sharing

B. P. Cosell,P. R. Johnson,J. H. Malman,R. E. Schantz,J. Sussman,R. H. Thomas,D. C. Walden

1975

Sharing data and services in a virtual machine system

J. D. Bagley,E. R. Floto,S. C. Hsieh,V. Watson

1975

Formal properties of recursive Virtual Machine architectures.

Gerald Belpaire,Nai-Ting Hsu

1975

The PDP-11 virtual machine architecture: A case study

Gerald J. Popek,Charles S. Kline

Correctness and Reliability

1975

Proving monitors

John H. Howard

1975

Verifying properties of parallel programs: an axiomatic approach

Susan Owicki,David Gries

1975

Error resynchronization in producer-consumer systems

David L. Russell,Thomas H. Bredt

1975

A multi-microprocessor computer system architecture

Bruce W. Arden,Alan D. Berenbaum

1975

Control of processes in operating systems: the Boss-Slave relation

R. S. Gaines

1975

Modularization and hierarchy in a family of operating systems

A. N. Habermann,Lawrence Flon,Lee Cooprider

The Hydra Operating System

1975

Overview of the Hydra operating system development

W. Wulf,R. Levin,C. Pierson

1975

Policy/mechanism separation in Hydra

R. Levin,E. Cohen,W. Corwin,F. Pollack,W. Wulf

1975

Protection in the Hydra Operating System

Ellis Cohen,David Jefferson

1975

Computational processor demands of Algol-60 programs

Robert E. Brundage,Alan P. Batson

1975

Scheduling partially ordered tasks with probabilistic execution times

K. M. Chandy,P. F. Reynolds

1975

Analysis of a level algorithm for preemptive scheduling

Shui Lam,Ravi Sethi

1975

Selecting a scheduling rule that meets pre-specified response time demands

E. G. Coffman, Jr.,I. Mitrani

1975

A comment on the confinement problem

Steven B. Lipner

1975

The enforcement of security policies for computation

Anita K. Jones,Richard J. Lipton

1975

A lattice model of secure information flow

Dorothy E. Denning

Memory Measurement and Modelling

1975

Characteristics of program localities

A. Wayne Madison,Alan P. Batson

1975

A study of program locality and lifetime functions

Peter J. Denning,Kevin C. Kahn

1975

Models of memory scheduling

A. K. Agrawala,R. M. Bryant

4th SOSP — October 15-17, 1973 —Yorktown Heights, New York, USA

Chairman: Herbert Schorr

Program Chairman: Peter Weiner

Systems I

Chairman: M. D. McIlroy

1973

Interprocess communication in real-time systems

P. G. Sorenson

1973

An experimental implementation of the kernel/domain architecture

Michale J. Spier,Thomas N. Hastings,David N. Cutler

1973

On the structure and control of commands

C. J. Stephenson

Systems II

Chairman: E. Irons

1973

The UNIX time-sharing system

Dennis M. Ritchie,Ken Thompson

1973

ARGOS: An operating system for a computer utility supporting interactive instrument control

Paul Day,John Hines

1973

Multiprocessor self diagnosis, surgery, and recovery in air terminal traffic control

W. Walther

1973

Online system performance measurements with software and hybrid monitors

Liba Svobodova

Memory Management

Chairman: R. A. Nelson

1973

Minimal-total-processing-time drum and disk scheduling disciplines

Samuel H. Fuller

1973

Optimal folding of a paging drum in a three level memory system

Lee J. Scheffler

1973

A page allocation strategy for multiprogramming systems

Donald D. Chamberlin,Samuel H. Fulier,Leonard Y. Liu

1973

Dynamic storage partitioning

Peter J. Denning,Jeffrey R. Spirn

1973

On reference string generation processes

Arvind,R. Y. Kain,E. Sadeh

Scheduling Theory

Chairman: R. R. Muntz

1973

On the probability of deadlock in computer systems

Clarence A. Ellis

1973

Polynomial complete scheduling problems

J. D. Ullman

1973

Scheduling independent tasks to reduce mean finishing-time

J. Bruno,E. G. Coffman, Jr.,R. Sethi

1973

Bounds on scheduling with limited resources

M. R. Garey,R. L. Grehem

1973

A task-scheduling algorithm for a multiprogramming computer system

K. L. Krause,V. Y. Shen,H. D. Schwetman

Protection and Addressing

Chairman: R. M. Needham

1973

Protection and control of information sharing in multics

Jerome H. Saltzer

1973

The case for capability based computers

R. S. Fabry

1973

Formal requirements for virtualizable third generation architectures

Gerald J. Popek,Robert P. Goldberg

1973

Limitations of Dijkstra's Semaphore Primitives and Petri nets

S. Rao Kosaraju

3rd SOSP — October 18-20, 1971 —Palo Alto, California, USA

General Chairman: Edward J. Mcluskey

Program Chairman: Thomas H. Bredt

Systems, Real and Virtual

1971

TENEX, a paged time sharing system for the PDP-10

Daniel G. Bobrow,Jerry D. Burchfiel,Daniel L. Murphy,Raymond S. Tomlinson

1971

The design of the Venus Operating System

Barbara H. Liskov

1971

An operating system based on the concept of a supervisory computer

R. Stockton Gaines

1971

A multiprogramming system for process control

Sam Howry

Implementation Techniques

1971

Extensible data features in the operating system language OSL/2

Peter A. Alsberg

1971

The Multics Input/Output system

R. J. Feiertag,E. I. Organick

1971

A hardware architecture for implementing protection rings

Michael D. Schroeder,Jerome H. Saltzer

1971

Handling difficult faults in operating systems

R. M. Needham

1971

Storage reallocation in hierarchical associative memories

Jeffrey L. Gertz

Process Interactions and System Correctness

1971

Some deadlock properties of computer systems

Richard C. Holt

1971

A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems

Rafael O. Fontao

1971

Synchronization of communicating processes

A. Nico Habermann

1971

An approach to systems correctness

Gilles Kahn

1971

Process synchronization without long-term interlock

William B. Easton

1971

Short-term scheduling in multiprogramming systems

Per Brinch Hansen

1971

Process selection in a hierarchical operating system

R. C. Varney

1971

The dependence of computer system queues upon processing time distribution and central processor scheduling

Forest Baskett

1971

A comparative analysis of disk scheduling policies

Toby J. Teorey,Tad B. Pinkerton

Memory Management and System Performance

1971

A study of storage partitioning using a mathematical model of locality

E. G. Coffman, Jr.,Thomas A. Ryan, Jr.

1971

Properties of the working-set model

Peter J. Denning,Stuart C. Schwartz

1971

An algorithm for drum storage management in time-sharing systems

Mark L. Greenberg

1971

Simulation studies of a virtual memory, time-shared, demand paging operating system

J. Winograd,S. J. Morganstein,R. Herman

1971

Experimental data on how program behavior affects the choice of scheduler parameters

Juan Rodriguez-Rosell

2nd SOSP — October 20-22, 1969 —Princeton, New Jersey, USA

General Chairman: Peter Denning

Program Chairmen: Edward G. Coffman,Stanley M. Altman

General principles of operating systems design

Chairman: Bernard A. Galler

1969

The system design cycle

George H. Mealy

1969

Theory and practice in operating system design

R. M. Needham,D. F. Hartley

1969

The role of motherhood in the pop art of system programming

Peter G. Neumann

1969

Machine independent software

P. C. Poole,W. M. Waite

Virtual memory implementation

Chairman: Jack B. Dennis

1969

Measurements of segment size

Alan Batson,Shy-Ming Ju,David C. Wood

1969

The multics virtual memory

A. Bensoussan,C. T. Clingen,R. C. Daley

1969

Complementary replacement — a meta scheduling principle

H. Hellerman

1969

Optimal segmentation points for programs

Brian W. Kernighan

1969

Strategies for structuring two level memories in a paging environment

Albin L. Vareha,Ronald M. Rutledge,Michael M. Gold

Process management and communication

Chairman: Elliot I. Organick

1969

Process control and communication

A. J. Bernstein,G. D. Detlefsen,R. H. Kerr

1969

Process management and resource sharing in the multiaccess system “ESOPE”

C. Bétourné,J. Boulenger,J. Ferrié,C. Kaiser,J. Kott,S. Krakowiak,J. Mossière

1969

Basic time-sharing: a system of computing principles

Douglas B. Earl,Faith L. Bugely

1969

Structure of multiple activity algorithms

John B. Johnston

1969

The Multics interprocess communication facility

Michael J. Spier,Elliott I. Organick

Systems and techniques

Chairman: Edgar T. Irons

1969

The structure of the ILLIAC IV operating system

Peter A. Alsberg,Carlton R. Mills

1969

A program simulator by partial interpretation

Kazuhiro Fuchi,Hozumi Tanaka,Yuriko Manago,Toshitsugu Yuba

1969

HELPER: an interactive extensible debugging system

H. E. Kulsrud

1969

Multiprogramming in a small-systems environment

David L. Mills

1969

Basic I/O handling on Burroughs B6500

Rajani M. Patel

Instrumentation and measurement

Chairman: M. D. McIlroy

1969

Measurement and performance of a multiprogramming system

B. Arden,D. Boettner

1969

The UTS time-sharing system: performance analysis and instrumentation

G. E. Bryan,J. E. Shemer

1969

Two approaches for measuring the performance of time-sharing systems

Arnold D. Karush

1969

The instrumentation of Multics

Jerome H. Saltzer,John W. Gintell

1969

Performance monitors for multi-programming systems

William A. Wulf

1st SOSP — October 1-4, 1967 —Gatlinburg, Tennessee, USA

Virtual Memory

Chairman: Herbert Hellerman

1967

Dynamic storage allocation systems

B. Randell,C. J. Kuehner

1967

Virtual memory, processes, and sharing in Multics

Robert C. Daley,Jack B. Dennis

1967

A study of the effect of user program optimization in a paging system

Lesin W. Comeau

Memory Management

Chairman: Clark Weissman

1967

An empirical study of the behavior of programs in a paging environment

L. C. Varian,E. G. Coffman

1967

Resource management for a medium scale time sharing operating system

G. Oppenheimer,N. Weizer

1967

The working set model for program behavior

Peter J. Denning

Extended Core Memory Systems

Chairman: Martin Graham

1967

Consideration in the design of a multiple computer system with extended core storage

Kurt Fuchel,Sidney Heller

1967

A philosophy for computer sharing

Edgar T. Irons

Philosophies of Process Control

Chairman: Jack Dennis

1967

The structure of the “THE”-multiprogramming system

Edsger W. Dijkstra

1967

A scheduling philosophy for multi-processing systems

Butler W. Lampson

1967

An implementation of a multiprocessing computer system

William B. Ackerman,William W. Plummer

System Theory and Design

Chairman: John Gosden

1967

Three criteria for designing computing systems to facilitate debugging

Earl C. Van Horn

1967

Dynamic Supervisors - their design and construction

D. H. R. Huxtable,M. T. Warwick

1967

Protection in an information processing utility

Robert M. Graham

Computer Networks and Communications

Chairman: Walter Kosinski

1967

Multiple computer networks and intercomputer communication

Lawrence G. Roberts

1967

A digital communication network for computers giving rapid response at remote terminals

D. W. Davies,K. A. Bartlett,R. A. Scantlebury,P. T. Wilkinson

1967

A position paper on computing and communications

Jack B. Dennis