20th ACM Symposium on Operating Systems Principles


Conference Location
   and Travel Info
Submission Guidelines
Work In
Poster Submission
Hall of Fame Award
Student Scholarships
Important Dates
Previous SOSPs

October 23-26, 2005

The Grand Hotel, Brighton, United Kingdom


Sunday 23 October 2005

  EuroSys Doctoral Workshop

See http://research.microsoft.com/~tharris/eurosys-dw/ for details.

(This is an associated event, not part of the main conference).

14:00-18:00 Registration Opens - Conference Foyer
19:00-21:00 Buffet Reception - Empress Suite

Monday 24 October 2005

08:30-09:00 Welcome - Empress Suite
09:00-10:00 Keynote Address: Andy Tanenbaum, Vrije Universiteit - Empress Suite
10:00-10:30 Break - Albert Room / Kings East

Session 1: Integrity and Isolation -  Chair: Gun Sirer - Empress Suite

Pioneer: Verifying Integrity and Guaranteeing Execution of Code on Legacy Platforms. Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig (CMU), Leendert van Doorn (IBM), Pradeep Khosla (CMU)

Labels and Event Processes in the Asbestos Operating System. Petros Efstathopoulos (UCLA), Maxwell Krohn (MIT), Steve VanDeBogart (UCLA), Cliff Frey (MIT), David Ziegler (MIT) , Eddie Kohler (UCLA), David Mazieres (NYU), M. Frans Kaashoek (MIT CSAIL), Robert T. Morris (MIT CSAIL)

Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection. Emmett Witchel, Junghwan Rhee(University of Texas at Austin), Krste Asanovic (MIT CSAIL)

12:00-13:30 Lunch - Albert Room / Kings East / Kings Restaurant
13:30-15:00 Session 2: Distributed Systems  - Chair: Miguel Castro - Empress Suite

BAR Fault Tolerance for Cooperative Services. Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Michael Dahlin, Jean-Philippe Martin, and Carl Porth (U.T. Austin) 

Fault-scalable Byzantine Fault-Tolerant Services. Michael Abd-El-Malek, Greg Ganger, Garth Goodson, Mike Reiter, Jay Wylie (CMU)

Implementing Declarative Overlays. Boon Thau Loo, Tyson Condie, Joseph Hellerstein (U.C.Berkeley), Petros Maniatis,Timothy Roscoe (Intel Research), Ion Stoica (UC Berkeley) 

15:00-15:30 Break - Albert Room / Kings East
15:30-17:00 Session 3: History and Context - Chair: Willy Zwaenepoel - Empress Suite

Detecting Past and Present Intrusions Through Vulnerability-Specific Predicates. Ashlesha Joshi, Sam King, George Dunlap, Peter Chen (University of Michigan)   

Capturing, Indexing, Clustering, and Retrieving System History. Ira Cohen (HP Labs), Moises Goldszmidt (HP Labs), Steve Zhang (Stanford University), Terence Kelly (HP Labs), Armando Fox (Stanford), Julie Symons (HP Labs)

 Connections: Using Context to Enhance File Search. Craig Soules, Greg Ganger (CMU) 

17:00-19:00 Poster Session - Albert Room and King's East
19:00-20:15 Buffet Dinner - Grand Hotel - Empress Suite
20:15-21:15 SIGOPS Business Meeting - Empress Suite
21:15-late Bird of a Feather Sessions - Empress Suite
21:15-22:15 EuroSys Chapter Meeting - Consort Room

Tuesday 25 October 2005

09:00-10:30 Session 4: Containment - Chair: Frans Kaashoek - Empress Suite

Vigilante: End-to-End Containment of Internet Worms. Manuel Costa (Microsoft Research), Jon Crowcroft (Cambridge University), Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang and Paul Barham (Microsoft Research)

Scalability, Fidelity and Containment in the Potemkin Virtual Honeyfarm.  Michael Vrable, Justin Ma, Jay Chen, David Moore, Erik Vandekieft, Alex Snoeren, Geoff Voelker, Stefan Savage (UCSD)

The Taser Intrusion Recovery System. Ashvin Goel, Kenneth Po, Kamran Farhadi,  Zheng Li, Eyal De Lara (University of Toronto)

10:30-11:00 Break - Albert Room / Kings East

Panel: Peer-to-Peer: Still Useless? - Moderator: Ken Birman - Empress Suite

12:00-14:00 Lunch - Albert Room / Kings East / Kings Restaurant
14:00-15:30 Session 5: Filesystems - Chair: Maarten van Steen - Empress Suite

Hibernator: Helping Disk Arrays Sleep Through the Winter.  Qingbo Zhu, Zhifeng Chen, Lin Tan, Yuanyuan Zhou (University of Illinois at Urbana-Champaign), Kimberly Keeton, John Wilkes (Hewlett-Packard Laboratory)  

Speculative Execution in a Distributed File System. Edmund B. Nightingale, Peter Chen, Jason Flinn (University of Michigan)   

IRON File Systems. Vijayan Prabhakaran, Nitin Agrawal, Lakshmi N. Bairavasundaram, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau (UW, Madison)

15:30-16:00 Break - Albert Room / Kings East
16:00-17:30 Work-in-Progress Session - Chair: Liuba Shrira - Empress Suite
19:00-22:00 Tour of the Royal Pavilion and Conference Dinner
at The Corn Exchange

(Coaches will depart from the Grand Hotel at 18:05-18:45)

Hall of Fame and Mark Weiser Awards

(Coaches will return to the Grand Hotel at 22:00-22:30)

Wednesday 26 October 2005

09:00-10:00 Session 6: Bugs - Chair: Mike Burrows - Empress Suite

RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking. Yuan Yu, Thomas Rodeheffer (Microsoft Research), Wei Chen (UC Berkeley) 

Rx: Treating Bugs As Allergies -- A Safe Method for Surviving Software Failures. Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou (University of Illinois at Urbana-Champaign)

10:00-10:30 Break - Albert Room / Kings East

Session 7: Optimization - Chair: Stefan Savage - Empress Suite

Idletime Scheduling with Preemption Intervals. Lars Eggert (NEC Network Laboratories), Joseph Touch (USC/ISI)

FS2: Dynamic Data Replication in Free Disk Space for Improving Disk Performance and Energy-Consumption. Hai Huang, Wanda Hung, Kang Shin (University of Michigan)

THINC: A Virtual Display Architecture for Thin-Client Computing. Ricardo Baratto, Leonard Kim, Jason Nieh (Columbia University) 

12:00 Close

Lunch boxes will be available in
Albert Room / Kings East / Kings Restaurant

There are several versions of the original Call for Papers available: HTML, PDF and text.

An A3 sized poster is available in PDF.