TECHNICAL SESSIONS
Conference papers are available to conference registrants immediately and to everyone beginning December 8, 2008. Everyone can view the proceedings front matter immediately.
Proceedings Front Matter:
Title Page |
Conference Organizers and External Reviewers |
Table of Contents |
Index of Authors |
Message from the Program Chair
Download Full Proceedings
|
Tech Sessions:
Monday, December 8 |
Tuesday, December 9 |
Wednesday, December 10
|
|
Monday, December 8 |
8:45 a.m.–9:00 a.m. |
Monday |
Opening Remarks
Program Co-Chairs: Richard Draves, Microsoft Research; Robbert van Renesse, Cornell University
|
|
9:00 a.m.–10:30 a.m. |
Monday |
Cloud Computing
Session Chair: Marvin Theimer, Amazon.com
Awarded Jay Lepreau Best Paper! DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
Yuan Yu, Michael Isard, Dennis Fetterly, and Mihai Budiu, Microsoft Research Silicon Valley; Úlfar Erlingsson, Reykjavík University, Iceland, and Microsoft Research Silicon Valley; Pradeep Kumar Gunda and Jon Currey, Microsoft Research Silicon Valley
Paper in HTML |
PDF
Listen in MP3 format
Everest: Scaling Down Peak Loads Through I/O Off-Loading
Dushyanth Narayanan, Austin Donnelly, Eno Thereska, Sameh Elnikety, and Antony Rowstron, Microsoft Research Cambridge, United Kingdom
Paper in HTML |
PDF
Listen in MP3 format
Improving MapReduce Performance in Heterogeneous Environments
Matei Zaharia, Andy Konwinski, Anthony D. Joseph, Randy Katz, and Ion Stoica, University of California, Berkeley
Paper in HTML |
PDF
Listen in MP3 format
|
|
10:30 a.m.–11:00 a.m. Break |
|
11:00 a.m.–12:30 p.m. |
Monday |
OS Architecture
Session Chair: Remzi Arpaci-Dusseau, University of Wisconsin, Madison
Corey: An Operating System for Many Cores
Silas Boyd-Wickizer, Massachusetts Institute of Technology; Haibo Chen, Rong Chen, and Yandong Mao, Fudan University; Frans Kaashoek, Robert Morris, and Aleksey Pesterev, Massachusetts Institute of Technology; Lex Stein and Ming Wu, Microsoft Research Asia; Yuehua Dai, Xi'an Jiaotong University; Yang Zhang, Massachusetts Institute of Technology; Zheng Zhang, Microsoft Research Asia
Paper in HTML |
PDF
Listen in MP3 format
CuriOS: Improving Reliability through Operating System Structure
Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, and Roy H. Campbell, University of Illinois at Urbana-Champaign
Paper in HTML | PDF
Listen in MP3 format
Redline: First Class Support for Interactivity in Commodity Operating Systems
Ting Yang, Tongping Liu, and Emery D. Berger, University of Massachusetts Amherst; Scott F. Kaplan, Amherst College; J. Eliot B. Moss, University of Massachusetts Amherst
Paper in HTML |
PDF
Listen in MP3 format
|
|
12:30 p.m.–2:00 p.m. Lunch |
|
2:00 p.m.–3:30 p.m. |
Monday |
Monitoring
Session Chair: Dave Presotto, Google, Inc.
Network Imprecision: A New Consistency Metric for Scalable Monitoring
Navendu Jain, Microsoft Research; Prince Mahajan and Dmitry Kit, University of Texas at Austin; Praveen Yalagandula, HP Labs; Mike Dahlin and Yin Zhang, University of Texas at Austin
Paper in HTML |
PDF
Listen in MP3 format
Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems
Sapan Bhatia, Princeton University; Abhishek Kumar, Google Inc.; Marc E. Fiuczynski and Larry Peterson, Princeton University
Paper in HTML |
PDF
Listen in MP3 format
Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions
Xu Chen, University of Michigan; Ming Zhang, Microsoft Research; Z. Morley Mao, University of Michigan; Paramvir Bahl, Microsoft Research
Paper in HTML |
PDF
Listen in MP3 format
|
|
3:30 p.m.–4:00 p.m. Break |
|
4:00 p.m.–5:30 p.m. |
Monday |
Work-in-Progress Reports (WiPs)
Session Chair: Philip Levis, Stanford University
The Work-in-Progress reports (WiPs) session offers short
presentations about research in progress, new results, or timely
topics. Check out the list
of accepted WiPs.
Listen in MP3 format
|
|
5:30 p.m.–6:00 p.m. |
Monday |
Inauguration of the Jay Lepreau Award for the Best Paper Presented at the 8th OSDI
View the video
Listen in MP3 format
|
|
6:30 p.m.–10:00 p.m. |
Monday |
Symposium Reception
|
|
Tech Sessions:
Monday, December 8 |
Tuesday, December 9 |
Wednesday, December 10
|
|
Tuesday, December 9 |
9:00 a.m.–10:30 a.m. |
Tuesday |
File Systems
Session Chair: Marcos Aguilera, Microsoft Research
SQCK: A Declarative File System Checker
Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, University of Wisconsin, Madison
Paper in HTML |
PDF
Listen in MP3 format
Transactional Flash
Vijayan Prabhakaran, Thomas L. Rodeheffer, and Lidong Zhou, Microsoft Research, Silicon Valley
Paper in HTML |
PDF
Listen in MP3 format
Avoiding File System Micromanagement with Range Writes
Ashok Anand and Sayandeep Sen, University of Wisconsin, Madison; Andrew Krioukov, University of California, Berkeley; Florentina Popovici, Google; Aditya Akella, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, and Suman Banerjee, University of Wisconsin, Madison
Paper in HTML | PDF
Listen in MP3 format
|
|
10:30 a.m.–11:00 a.m. Break |
|
11:00 a.m.–12:30 p.m. |
Tuesday |
Programming Language Techniques
Session Chair: Terence Kelly, HP Labs
Binary Translation Using Peephole Superoptimizers
Sorav Bansal and Alex Aiken, Stanford University
Paper in HTML |
PDF
Listen in MP3 format
R2: An Application-Level Kernel for Record and Replay
Zhenyu Guo, Microsoft Research Asia; Xi Wang, Tsinghua University; Jian Tang and Xuezheng Liu, Microsoft Research Asia; Zhilei Xu, Tsinghua University; Ming Wu, Microsoft Research Asia; M. Frans Kaashoek, MIT CSAIL; Zheng Zhang, Microsoft Research Asia
Paper in HTML |
PDF
Listen in MP3 format
Awarded Jay Lepreau Best Paper! KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Cristian Cadar, Daniel Dunbar, and Dawson Engler, Stanford University
Paper in HTML | PDF
Listen in MP3 format
|
|
12:30 p.m.–2:00 p.m. Lunch |
|
2:00 p.m.–3:30 p.m. |
Tuesday |
Security
Session Chair: David Lie, University of Toronto
Hardware Enforcement of Application Security Policies Using Tagged Memory
Nickolai Zeldovich, Massachusetts Institute of Technology; Hari Kannan, Michael Dalton, and Christos Kozyrakis, Stanford University
Paper in HTML |
PDF
Listen in MP3 format
Device Driver Safety Through a Reference Validation Mechanism
Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, and Fred B. Schneider, Cornell University
Paper in HTML |
PDF
Listen in MP3 format
Digging for Data Structures
Anthony Cozzie, Frank Stratton, Hui Xue, and Samuel T. King, University of Illinois at Urbana-Champaign
Paper in HTML |
PDF
Listen in MP3 format
|
|
3:30 p.m.–4:00 p.m. Break |
|
4:00 p.m.–5:30 p.m. |
Tuesday |
Dealing with Concurrency Bugs
Session Chair: Wolfgang Schröder-Preikschat, University of Erlangen-Nürnberg
Finding and Reproducing Heisenbugs in Concurrent Programs
Madanlal Musuvathi, Shaz Qadeer, and Thomas Ball, Microsoft Research; Gerard Basler, ETH Zurich; Piramanayagam Arumuga Nainar, University of Wisconsin, Madison; Iulian Neamtiu, University of California, Riverside
Paper in HTML |
PDF
Listen in MP3 format
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Yin Wang, University of Michigan and Hewlett-Packard Laboratories; Terence Kelly, Hewlett-Packard Laboratories; Manjunath Kudlur, Stéphane Lafortune, and Scott Mahlke, University of Michigan
Paper in HTML |
PDF
Listen in MP3 format
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks
Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, and George Candea, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Paper in HTML |
PDF
Listen in MP3 format
|
|
6:00 p.m.–7:30 p.m. |
Tuesday |
Poster Session and Happy Hour
Session Chair: Dejan Kostić, École Polytechnique Fédérale de Lausanne
The OSDI Poster Session will be held in conjunction with a happy hour at the Symposium. Check out the list of accepted posters.
|
|
Tech Sessions:
Monday, December 8 |
Tuesday, December 9 |
Wednesday, December 10
|
|
Wednesday, December 10 |
9:00 a.m.–10:30 a.m. |
Wednesday |
Various Good Things
Session Chair: Jim Waldo, Sun Microsystems, Inc.
Awarded Jay Lepreau Best Paper!
Difference Engine: Harnessing Memory Redundancy in Virtual Machines
Diwaker Gupta, University of California, San Diego; Sangmin Lee, University of Texas at Austin; Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, and Amin Vahdat, University of California, San Diego
Paper in HTML | PDF
Listen in MP3 format
Quanto: Tracking Energy in Networked Embedded Systems
Rodrigo Fonseca, University of California, Berkeley, and Yahoo! Research; Prabal Dutta, University of California, Berkeley; Philip Levis, Stanford University; Ion Stoica, University of California, Berkeley
Paper in HTML |
PDF
Listen in MP3 format
Leveraging Legacy Code to Deploy Desktop Applications on the Web
John R. Douceur, Jeremy Elson, Jon Howell, and Jacob R. Lorch, Microsoft Research
Paper in HTML |
PDF
Listen in MP3 format
|
|
10:30 a.m.–11:00 a.m. Break |
|
11:00 a.m.–noon |
Wednesday |
Wide-Area Distributed Systems
Session Chair: Dejan Kostić, École Polytechnique Fédérale de Lausanne
FlightPath: Obedience vs. Choice in Cooperative Services
Harry C. Li and Allen Clement, University of Texas at Austin; Mirco Marchetti, University of Modena and Reggio Emilia; Manos Kapritsos, Luke Robison, Lorenzo Alvisi, and Mike Dahlin, University of Texas at Austin
Paper in HTML |
PDF
Listen in MP3 format
Mencius: Building Efficient Replicated State Machines for WANs
Yanhua Mao, University of California, San Diego; Flavio P. Junqueira, Yahoo! Research Barcelona; Keith Marzullo, University of California, San Diego
Paper in HTML |
PDF
Listen in MP3 format
|
|