20. SOSP 2005: Brighton, UK

Opening Session and Keynote Speech

• Kenneth P. Birman:
  Opening remarks.
  Electronic Edition (ACM DL) BibTeX
• Andrew S. Tanenbaum:
  Keynote speech.
  Electronic Edition (ACM DL) BibTeX

Integrity and isolation

• Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla:
  Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems. 1-16
  Electronic Edition (ACM DL) BibTeX
• Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, M. Frans Kaashoek, Robert Morris:
  Labels and event processes in the Asbestos operating system. 17-30
  Electronic Edition (ACM DL) BibTeX
• Emmett Witchel, Junghwan Rhee, Krste Asanovic:
  Mondrix: memory isolation for linux using mondriaan memory protection. 31-44
  Electronic Edition (ACM DL) BibTeX

Distributed systems

• Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Michael Dahlin, Jean-Philippe Martin, Carl Porth:
  BAR fault tolerance for cooperative services. 45-58
  Electronic Edition (ACM DL) BibTeX
• Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie:
  Fault-scalable Byzantine fault-tolerant services. 59-74
  Electronic Edition (ACM DL) BibTeX
• Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica:
  Implementing declarative overlays. 75-90
  Electronic Edition (ACM DL) BibTeX

History and context

• Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen:
  Detecting past and present intrusions through vulnerability-specific predicates. 91-104
  Electronic Edition (ACM DL) BibTeX
• Ira Cohen, Steve Zhang, Moisés Goldszmidt, Julie Symons, Terence Kelly, Armando Fox:
  Capturing, indexing, clustering, and retrieving system history. 105-118
  Electronic Edition (ACM DL) BibTeX
• Craig A. N. Soules, Gregory R. Ganger:
  Connections: using context to enhance file search. 119-132
  Electronic Edition (ACM DL) BibTeX

Containment

• Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham:
  Vigilante: end-to-end containment of internet worms. 133-147
  Electronic Edition (ACM DL) BibTeX
• Michael Vrable, Justin Ma, Jay Chen, David Moore, Erik Vandekieft, Alex C. Snoeren, Geoffrey M. Voelker, Stefan Savage:
  Scalability, fidelity, and containment in the potemkin virtual honeyfarm. 148-162
  Electronic Edition (ACM DL) BibTeX
• Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li, Eyal de Lara:
  The taser intrusion recovery system. 163-176
  Electronic Edition (ACM DL) BibTeX

Filesystems

• Qingbo Zhu, Zhifeng Chen, Lin Tan, Yuanyuan Zhou, Kimberly Keeton, John Wilkes:
  Hibernator: helping disk arrays sleep through the winter. 177-190
  Electronic Edition (ACM DL) BibTeX
• Edmund B. Nightingale, Peter M. Chen, Jason Flinn:
  Speculative execution in a distributed file system. 191-205
  Electronic Edition (ACM DL) BibTeX
• Vijayan Prabhakaran, Lakshmi N. Bairavasundaram, Nitin Agrawal, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
  IRON file systems. 206-220
  Electronic Edition (ACM DL) BibTeX

Bugs

• Yuan Yu, Tom Rodeheffer, Wei Chen:
  RaceTrack: efficient detection of data race conditions via adaptive tracking. 221-234
  Electronic Edition (ACM DL) BibTeX
• Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou:
  Rx: treating bugs as allergies - a safe method to survive software failures. 235-248
  Electronic Edition (ACM DL) BibTeX

Optimization

• Lars Eggert, Joseph D. Touch:
  Idletime scheduling with preemption intervals. 249-262
  Electronic Edition (ACM DL) BibTeX
• Hai Huang, Wanda Hung, Kang G. Shin:
  FS2: dynamic data replication in free disk space for improving disk performance and energy consumption. 263-276
  Electronic Edition (ACM DL) BibTeX
• Ricardo A. Baratto, Leonard N. Kim, Jason Nieh:
  THINC: a virtual display architecture for thin-client computing. 277-290
  Electronic Edition (ACM DL) BibTeX