590S[Y] Winter 2005
1:30pm-2:20pm Wednesdays
MGH 287
January 12:
Jacob Hansen, University of Copenhagen. "No Free Lunches in the Evil Man System"
January 19:
CMC: A pragmatic approach to model checking real code
, by Madanlal Musuvathi, David Y.W. Park, Andy Chou, Dawson R. Engler, and David L. Dill. Proceedings of OSDI 2002.
(Richard Dunn leads)
January 26:
Doug Terry, Microsoft Research, "A Peer-to-peer Replication Protocol for WinFS"
February 2:
Using model checking to find serious file system errors
, Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. Proceedings of OSDI 2004.
(Craig Prince leads)
February 9:
Dawson Engler, Stanford University.
We will meet in Allen 305 for this day only.
February 16:
FUSE: Lightweight Guaranteed Distributed Failure Notification
, John Dunagan, Nicholas J. Harvey, Michael B. Jones, Dejan Kostic, Marvin Theimer, and Alec Wolman. Procedings of OSDI 2004.
(Rick Cox leads)
February 23:
Program-Counter-Based Pattern Classification in Buffer Caching
, Chris Gniady, Ali R. Butt, Y. Charlie Hu. Procedings of OSDI 2004.
(Paul Gauthier leads)
March 2:
Secure Untrusted Data Repository (SUNDR)
, Jinyuan li, Maxwell Krohn, david Mazieres, and Dennis Shasha. Proceedings of OSDI 2004.
(Muthu leads)
March 9:
Enhancing Server Availability and Security Through Failure-Oblivious Computing
, by Martin Rinard et al. Proceedings of OSDI 2004.
(Charlie Reis leads)