|
Sunday, October 14, 2007
- Evening Reception (approx. 6:30 to 9:30 pm), including a dinner buffet
Day 1: Monday, October 15, 2007
8:45-9:00: CONFERENCE OPENING
9:00-10:30: WEB MEETS OPERATING SYSTEMS
Session chair: Hank Levy (University of Washington)
11:00-12:00: CONCURRENCY
Session chair: Mike Schroeder (Microsoft Research)
- TxLinux: Using and Managing Hardware Transactional Memory in the
Operating System (Awarded an Audience Choice award)
Christopher J. Rossbach (UT Austin), Owen S. Hoffman (UT Austin), Donald E. Porter (UT Austin), Hany E. Ramadan (UT Austin),
Aditya Bhandari (UT Austin),
and Emmett Witchel (UT Austin)
Slides: PDF (1041 KB), PPT (2276 KB)
- MUVI: Automatically Inferring Multi-Variable Access Correlations and
Detecting Related Semantic and Concurrency Bugs
Shan Lu (University of Illinois), Soyeon Park (University of Illinois),
Chongfeng Hu (University of Illinois), Xiao Ma (University of Illinois), Weihang
Jiang (University of Illinois), Zhenmin Li (University of Illinois), Raluca
A. Popa (MIT), and Yuanyuan Zhou (University of Illinois)
Slides: PPT (718 KB)
12:00-1:30: LUNCH
1:30-3:30: BYZANTINE FAULT TOLERANCE
Session chair: Peter Druschel (MPI SWS)
- Zyzzyva: Speculative Byzantine Fault Tolerance (Awarded a best paper award.)
Ramakrishna Kotla, Lorenzo Alvisi, Mike Dahlin, Allen Clement, and
Edmund Wong (UT Austin)
Slides: PDF (1311 KB)
- Tolerating Byzantine Faults in Database Systems using Commit Barrier Scheduling
Benjamin Vandiver (MIT), Hari Balakrishnan (MIT), Barbara Liskov (MIT),
and Sam Madden (MIT)
Slides: PPTX (224 KB)
- Low-Overhead Byzantine Fault-Tolerant Storage
James Hendricks (Carnegie Mellon University), Greg Ganger (Carnegie Mellon University), and Mike Reiter
(UNC at Chapel Hill)
Slides: PDF (150 KB), PPT (721 KB)
- Attested Append-Only Memory: Making Adversaries Stick to their Word
Byung-Gon Chun (UC Berkeley), Petros Maniatis (Intel Research,
Berkeley), Scott Shenker (UC Berkeley), and John Kubiatowicz (UC Berkeley)
Slides: PPT (904 KB)
Session chair: Richard Draves (Microsoft Research) and David
Mazières (Stanford University)
7p: Banquet and Announcement of Mark Weiser award
Day 2: Tuesday, October 16, 2007
9:00-10:30: SOFTWARE ROBUSTNESS
Session chair: Peter Chen (University of Michigan)
- Bouncer: Securing Software by Blocking Bad Input
Manuel Costa (Microsoft Research), Miguel Castro (Microsoft Research),
Lidong Zhou (Microsoft Research), Lintao Zhang (Microsoft Research),
and Marcus Peinado (Microsoft)
Slides: PPT (701 KB)
- Triage: Diagnosing Production Run Failures at the User's Site
Joseph Tucek (University of Illinois), Shan Lu (University of Illinois),
Chengdu Huang (University of Illinois), Spiros Xanthos (University of Illinois),
and Yuanyuan Zhou (University of Illinois)
Slides: PPT (559 KB)
- /* iComment: Bugs or Bad Comments? */
Lin Tan (University of Illinois), Ding Yuan (University of Illinois), Gopal Krishna (University of Illinois), and
Yuanyuan Zhou (University of Illinois)
Slides: PDF (714 KB)
11:00-12:30: DISTRIBUTED SYSTEMS
Session chair: Sharon Perl (Google)
- Sinfonia: A New Paradigm
for Building Scalable Distributed Systems (Awarded a best paper award)
Marcos K. Aguilera (HP Labs), Arif Merchant (HP Labs),
Mehul Shah (HP Labs), Alistair Veitch (HP Labs), and
Christos Karamanolis (VMWare)
Slides: PDF (400 KB)
- PeerReview: Practical Accountability for Distributed Systems
Andreas Haeberlen (MPI-SWS), Petr Kouznetsov (MPI-SWS),
and Peter Druschel (MPI-SWS)
Slides: PPT (858 KB)
- Dynamo:
Amazon's Highly Available Key-Value Store (Awarded an Audience Choice award)
Guiseppe DeCandia (Amazon.com), Deniz Hastorun (Amazon.com), Madan
Jampani (Amazon.com), Gunavardhan Kakulapati (Amazon.com), Avinash
Lakshman (Amazon.com), Alex Pilchin (Amazon.com), Swami
Sivasubramanian (Amazon.com), Peter Vosshall (Amazon.com), and Werner
Vogels (Amazon.com)
12:30-2:00: LUNCH
2:00-3:00: SYSTEM MAINTENANCE
Session chair: Jeff Mogul (HP Labs)
3:30-4:30: ENERGY
Session chair: Carla Ellis (Duke University)
- Integrating Concurrency Control and Energy Management in Device
Drivers
Kevin Klues (Stanford University, Washington
University in St. Louis, Technical University of Berlin), Vlado
Handziski (Technical University of Berlin), Chenyang Lu (Washington
University in St. Louis), Adam Wolisz (Technical University of Berlin,
University of California Berkeley), David Culler (Arch Rock Co.,
University of California Berkeley), David Gay (Intel Research
Berkeley), and Philip Levis (Stanford University)
Slides: PDF (6849 KB)
- VirtualPower: Coordinated Power Management in Virtualized Enterprise Systems
Ripal Nathuji (Georgia Institute of Technology) and Karsten Schwan
(Georgia Institute of Technology)
Slides: PDF (3892 KB)
Session chair: Mema Roussopoulos (Harvard University) and Yuanyuan
Zhou (University of Illinois)
Evening: SIGOPS Business meeting
Day 3: Wednesday, October 17, 2007
8:30-10:00: STORAGE
Session chair: David Mazières (Stanford University)
- DejaView: A Personal Virtual Computer Recorder
Oren Laadan, Ricardo A. Baratto, Dan Phung, Shaya Potter, and Jason Nieh
(Columbia University)
Slides: ODP (554 KB)
- Improving File System Reliability with I/O Shepherding
Haryadi S. Gunawi (University Wisconsin - Madison), Vijayan Prabhakaran
(Microsoft Research), Swetha Krishnan (University Wisconsin - Madison), Andrea
C. Arpaci-Dusseau (University Wisconsin - Madison), and Remzi H. Arpaci-Dusseau
(University Wisconsin - Madison)
Slides: PPT (1470 KB)
- Generalized File System
Dependencies (Awarded an Audience Choice award)
Christopher Frost (UCLA), Mike Mammarella (UCLA), Eddie Kohler (UCLA),
Andrew de los Reyes (Google), Shant Hovsepian (UCLA), Andrew
Matsuoka (UT Austin), and Lei Zhang (Google)
Slides: PPT (1469 KB)
10:30-12:00: OPERATING SYSTEM SECURITY
Session chair: Andrew Myers (Cornell University)
- Information Flow Control For Standard OS Abstractions
Maxwell Krohn (MIT), Alex Yip (MIT), Micah Brodsky (MIT), Natan Cliffer
(MIT), M. Frans Kaashoek (MIT), Eddie Kohler (UCLA), and Robert Morris (MIT)
Slides: PDF (1764 KB), PPSX (821 KB)
- SecVisor: A Tiny Hypervisor to Provide Lifetime Kernel Code Integrity for
Commodity OSes
Arvind Seshadri (Carnegie Mellon University), Mark Luk (Carnegie Mellon University), Ning Qu (Carnegie Mellon University), and
Adrian Perrig (Carnegie Mellon University)
Slides: PDF (1487 KB)
- Secure Virtual
Architecture: A Safe Execution Environment for Commodity Operating
Systems (Awarded an Audience Choice award)
John Criswell (University of Illinois), Andrew
Lenharth (University of Illinois), Dinakar Dhurjati
(DoCoMo Labs USA), and Vikram Adve (University of Illinois)
Slides: PPT (318 KB)
|