http://www.usenix.org/events/osdi08/tech/
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
|
| Tech Sessions: Monday, December 8
| Tuesday,
December 9 | Wednesday,
December 10 |
 |
| Monday,
December 8 |
| 8:45 a.m.�C9:00 a.m. |
Monday |
|
Opening Remarks
Program Co-Chairs: Richard Draves, Microsoft
Research; Robbert van Renesse, Cornell University
|
| |
| 9:00 a.m.�C10:30 a.m. |
Monday |
|
Cloud Computing
Session Chair: Marvin Theimer, Amazon.com
Awarded 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
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
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
|
| |
| 10:30 a.m.�C11:00 a.m. Break |
| |
| 11:00 a.m.�C12: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
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
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
|
| |
| 12:30 p.m.�C2:00 p.m. Lunch |
| |
| 2:00 p.m.�C3: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
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
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
|
| |
| 3:30 p.m.�C4:00 p.m. Break |
| |
| 4:00 p.m.�C5: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.
|
| |
| 5:30 p.m.�C6:00 p.m. |
Monday |
|
Inauguration
of the Jay Lepreau Award for the Best Paper Presented at the 8th OSDI
 View
the video
|
| |
| 6:30 p.m.�C10:00 p.m. |
Monday |
|
Symposium
Reception
|
| |
| Tech Sessions: Monday, December 8
| Tuesday,
December 9 | Wednesday,
December 10 |
| |
| Tuesday,
December 9 |
| 9:00 a.m.�C10: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
Transactional Flash
Vijayan Prabhakaran, Thomas L. Rodeheffer, and Lidong Zhou, Microsoft
Research, Silicon Valley
Paper in HTML
| PDF
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
|
| |
| 10:30 a.m.�C11:00 a.m. Break |
| |
| 11:00 a.m.�C12: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
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
Awarded 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
|
| |
| 12:30 p.m.�C2:00 p.m. Lunch |
| |
| 2:00 p.m.�C3: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
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
Digging for Data Structures
Anthony Cozzie, Frank Stratton, Hui Xue, and Samuel T. King, University
of Illinois at Urbana-Champaign
Paper in HTML
| PDF
|
| |
| 3:30 p.m.�C4:00 p.m. Break |
| |
| 4:00 p.m.�C5: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
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
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
|
| |
| 6:00 p.m.�C7: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.�C10:30 a.m. |
Wednesday |
|
Various Good Things
Session Chair: Jim Waldo, Sun
Microsystems, Inc.
Awarded 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
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
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
|
| |
| 10:30 a.m.�C11:00 a.m. Break |
| |
| 11:00 a.m.�Cnoon |
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
Mencius: Building Efficient Replicated
State Machine 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
|
|
