Lecture |
Topic |
Date |
1 |
Academic Holiday: Cesar Chavez’s Birthday
|
March 31 |
2 |
Overview |
April 2 |
3 |
Team Consultations |
April 7 |
4 |
Operating Systems
- 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, OSDI 2008
Presenters: Nate Black, Brian Blonski
- 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, OSDI 2008
Presenters: Greg Gire, Jon McElroy
- 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 Amhers, OSDI 2008
Presenters: Rob Webb, Daniel Nelson
| April 9 |
5 |
Operating System Security
- Digging for Data Structures
Anthony Cozzie, Frank Stratton, Hui Xue, and Samuel T. King, University of Illinois at Urbana-Champaign, OSDI 2008
Presenters: Nate Welch, Evan Hecht
- "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), SOSP 2007
Presenters: Harrison McKenzie
- "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), SOSP 2007
Presenters: Josh Parker
|
April 14 |
6 |
File Systems
- 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, OSDI 2008
Presenters: Brian Blonski, Daniel Nelson
- SQCK: A Declarative File System Checker
Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, University of Wisconsin, Madison, OSDI 2008
Presenters: Matthew Schlachtman
|
April 16 |
7 |
Project Presentations:
Student Sign-up
| April 21 |
8 |
Project Presentations: Student Sign-up |
April 23 |
9 |
Transactional Memory
- "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), SOSP 2007
Presenters: Josh Parker, Evan Hecht
- Maximal Benefit from a Minimal HTM
Owen Hofmann, Christopher Rossbach, Emmett Witchel, Univ. of Texas at Austin, USA, ASPLOS 2009
Presenters: Daniel Medina, Nate Black
- Early Experience with a Commercial Hardware Transactional Memory Implementation
Dave Dice, Yossi Lev, Mark Moir, Dan Nussbaum, Sun Microsystems Labs, USA, ASPLOS 2009
Presenters: Bryan Clevenger, Nick Lynch
|
April 28 |
10 |
Virtualization I
- 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, OSDI 2008
Presenters: Greg Gire, Greg Flanagan
- Protection Strategies for Direct Access to Virtualized I/O Devices
Paul Willmann, Scott Rixner, and Alan L. Cox, Rice University, ATC 2008
Presenters: Nat Welch, Michael Wagner
|
April 30 |
11 |
Virtualization
II
- "Compatibility Is Not Transparency: VMM Detection Myths and Realities", Tal Garfinkel, Stanford University; Keith Adams, VMware; Andrew Warfield, University of British Columbia/XenSource; Jason Franklin, Carnegie Mellon University, HotOS 2007
Presenters: Nick Lynch, Bryan Clevenger
- Bridging the Gap between Software and Hardware Techniques for I/O Virtualization
Jose Renato Santos, Yoshio Turner, and G. (John) Janakiraman, HP Labs; Ian Pratt, University of Cambridge, ATC 2008
Presenters: Matthew Schlachtman
| May 5 |
12 |
Team Consultations
| May 7 |
13 |
Project Presentations:
Student Sign-up
| May 12 |
14 |
Project Presentations: Student Sign-up |
May 14 |
15 |
Concurrency
- Automatic Optimization of Parallel Dataflow Programs
Christopher Olston, Benjamin Reed, Adam Silberstein, and Utkarsh Srivastava, Yahoo! Research, ATC 2008
Presenters: Harrison Mckenzie Chipter, Michael Wagner
- 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, OSDI 2008
Presenters: Jonathon McElroy, Greg Flanagan
|
May 19 |
16 |
Team Suggestions I
|
May 21 |
17 |
Team Suggestions II
- TBD
Presenters:
- TBD
Presenters:
| May 26 |
18 |
Team Consultations: Conference Submissions
| May 28 |
19 |
Project Presentations |
June 2 |
20 |
Project Presentations |
June 4 |