590S[Y] Winter 2004 paper list
4:30pm-5:20pm Wednesdays
EE1 025
January 14:
brief organizational meeting
January 21:
Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software
(OSDI 2002)
presenter: Vaishnavi Sannidhanam
meet with: Brian Bershad
Vaishnavi's slides
January 28:
CMC: A Pragmatic Approach to Model Checking Real Code
(OSDI 2002)
presenter: Muthu Annamalai
meet with: John Zahorjan
February 4:
Preserving Peer Replicas By Rate-Limited Sampled Voting
(SOSP 2003)
presenter: Steven Balensiefer and Charles Reis
meet with: Ed Lazowska
February 11
SplitStream: High-Bandwidth Multicast in Cooperative Environments
(SOSP 2003)
presenter: Yatin Chawathe (Intel)
meet with: Hank Levy
February 18:
Implementing an Untrusted Operating System on Trusted Hardware
(SOSP 2003)
presenter: Craig Prince and Alex Moshcuk
meet with: Steve Gribble
February 25:
Backtracking Intrusions
(SOSP 2003)
presenter: Rick Cox
meet with: John Zahorjan
March 3:
Performance Debugging for Distributed Systems of Black Boxes
(SOSP 2003)
presenter: Andrew Putnam
meet with: Steve Gribble
March 10:
Andrew Whitaker - VMs as a recovery tool.