| Date | Lecture Topic | Other Notes | ||
|---|---|---|---|---|
| Mon 8/27 |
Introduction, Course Logistics, What is Research SOSP07 program SIGOPS Hall of Fame |
|||
| Weds 8/29 |
An
Evaluation of the Ninth SOSP Submissions Efficient Reading of Papers in Science and Technology |
|||
| Mon 9/3 |
CLASSICS:OS STRUCTURE The "THE" , Nucleus |
What does "THE" stand for? Technische Hoogeschool Eindhoven | ||
| Weds 9/5 |
CLASSICS:OTHER OS Protection and the Control of Information in Multics , Plan 9 from Bell Labs |
Introduction and Overview of Multics , UNIX | ||
| Mon 9/10 |
Plan9 Discussion, FFS | |||
| Weds 9/12 |
LFS | |||
| Mon 9/17 |
GFS | |||
| Weds 9/19 |
SOSP07 Storage I/O Shepherding |
|||
| Mon 9/24 |
Generalized File System Dependencies |
|||
| Weds 9/26 |
SOSP07 Energy Integrating Concurrency Control and Energy Management in Device Drivers |
|||
| Mon 10/1 |
NO CLASS: FALL RECESS | |||
| Weds 10/3 |
VirtualPower: Coordinated Power Management in Virtualized Enterprise Systems |
|||
| Mon 10/8 |
SOSP 2007 Software Robustness Bouncer: Securing Software By Blocking Bad Input Triage: Diagnosing Production Run Failures at the User's Site |
|||
| Wed 10/10 |
iComments: Bugs or Bad Comments> | |||
| Mon 10/15 |
SOSP07 System Maintenance Staged Deployment in Mirage, an Integrated Software Upgrade Testing and Distribution System |
|||
| Weds 10/17 |
AutoBash: Improving Configuration Management with Operating System Causality Analysis | |||
| Mon 10/22 |
SOSP07 Operating System Security | |||
| Weds 10/24 |
Information Flow for Standard OS Abstractions SecVisor |
|||
| Mon 10/29 |
SecVisor; Project Status | |||
| Weds 10/31 |
Project status | |||
| Mon 11/5 |
Quick report on Secure Virtual Architecture SOSP 07 Distributed Systems: Dynamo Project status (figure analysis continued) |
|||
| Wed 11/7 |
Dynamo | |||
| Mon 11/12 |
Sinfonia | |||
| Wed 11/14 |
PeerReview | |||
| Mon 11/19 |
Plan 9 ( not from Bell labs) | |||
| Wed 11/21 |
NO CLASS: THANKSGIVING | |||
| Mon 11/26 |
PeerReview | |||
| Wed 11/28 |
Zyzzava | |||
| Mon 12/3 |
TxLinux | |||
| Wed 12/5 |
CLASSICS Butler Lampson's Turing Award Leture: Principles for Computer System Design 10 years earlier: Hints for Computer System Design |
|||
| Mon 12/10 |
FINALS WEEK, ITL, 8-11 AM | |||
| Fri 12/14 |
||||
Citeseer: The NECI Scientific Literature Digital Library
Graduate Operating Systems at the University of Washington.
Advanced Topics in Computer Systems A and B at the UC Berkeley (Operating Systems/Databases Systems together).
Advanced Course in Computer Systems 2001 or 1998 at Cornell
Computer Systms engineering at MIT
Advanced Topics in Operating Systems at Stanford University.
Treasure Trove of Paper Summaries from Armando Fox, Stanford.
Advanced Operating Systems and Distributed Systems at CMU.
Advanced Operating Systems at the University of Wisconsin, Madison.
Research Topics in Operating Systems at Harvard
Operating Systems II at Columbia
Operating Systems I at Columbia