SOSP 2007 Program (Revised: 10/17/07)

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

• Slides: PPT (1959 KB)

9:00-10:30: WEB MEETS OPERATING SYSTEMS

Session chair: Hank Levy (University of Washington)

• Protection and Communication Abstractions for Web Browsers in MashupOS.
  Helen J. Wang (Microsoft Research), Xiaofeng Fan (Microsoft Research), Jon Howell (Microsoft Research), and Collin Jackson (Stanford University)
  Slides: PPTX (968 KB)
  
  
• AjaxScope: A Platform for Remotely Monitoring the Client-side Behavior of Web 2.0 Applications
  Emre Kiciman (Microsoft Research) and Benjamin Livshits (Microsoft Research)
  Slides: PDF (1297 KB)
  
  
• Secure Web Applications via Automatic Partitioning (Awarded a best paper award)
  Stephen Chong (Cornell), Jed Liu (Cornell), Andrew C. Myers (Cornell), Xin Qi (Cornell), Krishnaprasad Vikram (Cornell), Lantian Zheng (Cornell), and Xin Zheng (Cornell)
  Slides: PPT (1290 KB)
  
  

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)
  
  

4:00-5:00: WORK IN PROGRESS

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)

• Staged Deployment in Mirage, an Integrated Software Upgrade Testing and Distribution System
  Olivier Crameri (EPFL), Nikola Knezevic (EPFL), Dejan Kostic (EPFL), Ricardo Bianchini (Rutgers), and Willy Zwaenepoel (EPFL)
  Slides: PDF (580 KB)
  
  
• AutoBash: Improving Configuration Management with Operating System Causality Analysis
  Ya-Yunn Su (University of Michigan), Mona Attariyan (University of Michigan), and Jason Flinn (University of Michigan)
  Slides: PPT (711 KB)
  
  

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)
  
  

5:00-6:00: POSTER SESSION

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)