Course meets in Core-B every Tuesday from 1:40 - 4:40pm. The first part of this course overlaps with the light seminar on Distributed Systems
LECTURES
What Inspires Systems Research ? (pdf)
PRESENTATIONS
Consistency (30 Jan 2007)
1. Disconnected Operation in the Coda File System (pdf) - Presented by Pravin Shankar
JJ KISTLER, M SATYANARAYANAN - ACM Transactions on Computer Systems, 1992
2. Towards seamless mobility on pervasive hardware (pdf) - Presented by Stephen Smaldone
M. Satyanarayanana,, Michael A. Kozuchb, Casey J. Helfrichb, David R. O’Hallaron - Elsevier Pervasive and Mobile Computing, 2005
Who's Who at: CMU - Presented by Stephen Smaldone
Timing and Consistency (6 Feb 2007)
3. Time, Clocks and the Ordering of Events in a Distributed System (pdf) - Presented by John Mccabe
Leslie Lamport,
Communications of the ACM, 1978
4. Managing update conflicts in Bayou, a weakly connected replicated storage system (pdf) - Presented by Lu Han
Douglas B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers, Mike J. Spreitzer and Carl H. Hauser, Proceedings of the fifteenth ACM Symposium on Operating systems principles, 1995
Who's Who at: MIT - Presented by Tzvika Chumash
Timing and Atomicity (20 Feb 2007)
5. Understanding the Limitations of Causally and Totally Ordered Communication (pdf) - Presented by Crystal Maung
David R. Cheriton, Dale Skeen, Proceedings of the fifteenth ACM Symposium on Operating systems principles, 1995
6. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants (pdf) - Presented by John Mccabe
Shan Lu, Joe Tucek, Feng Qin, and Yuanyuan Zhou, Proceedings of the International Conference on Architecture Support for Programming Languages and Operating Systems, 2006
Who's Who at: Stanford - Presented by Gayathri Chandrasekaran
Role Separation (27 Feb 2007)
7. Separating Key management from File System Security (pdf) - Presented by Afzal Mazhar
David Mazi`eres, Michael Kaminsky, M. Frans Kaashoek, and Emmett Witchel, Proceedings of the seventeenth ACM Symposium on Operating systems principles, 1999
8. Cobalt: Separating Content Distribution from Authorization in Distributed File Systems(pdf) - Presented by Kelly Winters
Kaushik Veeraraghavan, Andrew Myrick, and Jason Flinn,
Proceedings of the Fifth USENIX Conference of File and Storage Technologies, 2007.
Who's Who at: UC Berkeley - Presented by Crystal Maung
Naming (6 Mar 2007)
9. The design and implementation of an intentional naming system (pdf) - Presented by Tzvika Chumash
William Adjie-Winoto, Elliot Schwartz, Hari Balakrishnan, Jeremy Lilley, Proceedings of the seventeenth ACM Symposium on Operating systems principles, 1999.
10. Persistent Personal Names for Globally Connected Mobile Devices (pdf) - Presented by Lu Han
Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean Rhea, Frans Kaashoek, and Robert Morris, Proceedings of the Operating Systems Design and Implementation, 2006.
Autonomic Computing - Presented by Florin Sultan
Who's Who at: UCSD - Presented by Lu Han
---------------------------SPRING BREAK ---------------------------
Distributed System Fault Tolerance and Security (20 Mar 2007)
11. Practical Byzantine Fault Tolerance (pdf) - Presented by Hai Nguyen
Miguel Castro and Barbara Liskov, Third Symposium on Operating Systems Design and Implementation (OSDI), 1999
12. Pip: Detecting the Unexpected in Distributed Systems (pdf) - Presented by John Mccabe
Patrick Reynolds,Charles Killian,Janet L. Wiener, Jeffrey C. Mogul, and Mehul A. Shah, Amin Vahdat, Proceedings of the Third Symposium on Networked Systems Design and Implementation, 2006.
Project Presentation: Vehicular Computing and Networking - Hai Nguyen
Who's Who at: Princeton - Presented by Kelly Winters
Peer-to-Peer and Social Networks (27 Mar 2007)
13.Wide-area cooperative storage with CFS (pdf) - Presented by Kelly Winters
Frank Dabek and M. Frans Kaashoek and David Karger and Robert Morris and Ion Stoica, Proceedings of the eighteenth ACM symposium on Operating systems principles, 2001.
14. RE: Reliable Email (pdf) - Presented by Pravin Shankar
Scott Garriss, Michael Kaminsky, Michael J. Freedman, Brad Karp, David Mazières, Haifeng Yu, Proceedings of the Third Symposium on Networked Systems Design and Implementation, 2006.
Who's Who at: Cornell - Presented by Hans C. Woithe
Information Flow Control (3 Apr 2007)
15. Untrusted Hosts and Confidentiality: Secure Program Partitioning (pdf) - Presented by Lu Han
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers, Proceedings of the eighteenth ACM symposium on Operating systems principles, 2001.
16. Labels and Event Processes in the Asbestos Operating System (pdf) - Presented by Kelly Winters
Petros Efstathopoulos , Maxwell Krohn , Steve VanDeBogart , Cliff Frey , David Ziegler , Eddie Kohler , David Mazieres , M. Frans Kaashoek , Robert T. Morris , Proceedings of the nineteenth ACM symposium on Operating systems principles, 2003.
Project Presentation: Pervasive Computing - Kelly Winters
Who's Who at: University of Washington - Presented by John Mccabe
File Systems (10 Apr 2007)
17. Information and Control in Gray-Box Systems (pdf) - Presented by Hai Nguyen
Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, Proceedings of the eighteenth ACM symposium on Operating systems principles, 2001.
18. A Logic of File Systems (pdf) - Presented by Vu Cao Dat
Muthian Sivathanu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Somesh Jha, Proceedings of the Forth USENIX Conference of File and Storage Technologies, 2005.
Project Presentation: Intrusion Detection in Sensor Networks - John Mccabe
Project Presentation: Grid Computing - Tzvika Chumash
Who's Who at: UIUC - Presented by Afzal Mazhar
Virtualization (17 Apr 2007)
19. Xen and the Art of Virtualization (pdf) - Presented by Hans C. Woithe
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Proceedings of the nineteenth ACM symposium on Operating systems principles, 2003.
20. Detecting Past and Present Intrusions Through Vulnerability-Specific Predicates (pdf) - Presented by Minji Wu
Ashlesha Joshi, Sam King, George Dunlap, Peter Chen,
Proceedings of the nineteenth ACM symposium on Operating systems principles, 2003.
Project Presentation: Covert Channels - Lu Han
Project Presentation: Sensor Networks - Pravin Shankar
Who's Who at: University of Michigan - Presented by Pravin Shankar
Trusted Computing (24 Apr 2007)
21. Terra: A Virtual-Machine Based Platform for Trusted Computing (pdf) - Presented by Mohammad Tanvir Alam
Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh,
Proceedings of the nineteenth ACM symposium on Operating systems principles, 2003.
22. Pioneer: Verifying Integrity and Guaranteeing Execution of Code on Legacy Platforms (pdf) - Presented by Tzvika Chumash
Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig (CMU), Leendert van Doorn (IBM), Pradeep Khosla (CMU), Proceedings of the 20th ACM Symposium on Operating Systems Principles, 2005.
Who's Who at: Georgia Tech - Presented by Hai Nguyen
Distributed System Security (Make up class - time TBD)
23. Remote physical device fingerprinting (pdf) - Presented by Gayathri Chandrasekaran
Tadayoshi Kohno, Andre Broido, and K.C. Claffy, CAIDA, UCSD, IEEE Security and Privacy 2005
24. Keyboards and Covert Channels (pdf) - Presented by Hai Nguyen
Gaurav Shah, Andres Molina, and Matt Blaze, Proceedings of the Fifteenth USENIX Security Symposium, 2006.
Who's Who at: University of Virginia - Presented by Mohammad Tanvir Alam
Who's Who at: University of Wisconsin - Presented by Minji Wu