| Date | Paper | Speaker |
|---|---|---|
| 8/31 | Eraser: a dynamic data race detector for multithreaded programs Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson November 1997 ACM Transactions on Computer Systems (TOCS), Volume 15 Issue 4 |
John Linford Slides: pdf Demo Comments |
| 9/2 | On the Duality of Operating System Structures Hugh C. Lauer and Roger M. Needham SIGOPS Oper. Syst. Rev. 13, 2 (Apr. 1979), 3-19. |
Kapil Ahuja Slides: pdf ppt |
| 9/7 | SEDA: An Architecture for Well-Conditioned, Scalable Internet Services Matt Welsh, David Culler, and Eric Brewer In Proceedings of the Eighteenth Symposium on Operating Systems Principles (SOSP-18), Banff, Canada, October, 2001 |
Rahul Agarwal Slides: pdf ppt |
| 9/9 | Capriccio: Scalable Threads for Internet Services Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer In Proceedings of the Ninteenth Symposium on Operating System Principles (SOSP-19), Lake George, New York. October 2003 |
Matthew Phillips Slides: pdf ppt |
| 9/14 | Implementing remote procedure calls Birrell, A. D. and Nelson, B. J. ACM Trans. Comput. Syst. 2, 1 (Feb. 1984), 39-59. |
Emil Constantinescu Slides: pdf ppt |
| 9/16 | Time, clocks, and the ordering of
events in a distributed system Lamport, L. Commun. ACM 21, 7 (Jul. 1978), 558-565. |
Vladimir Glina Slides: pdf ppt |
| 9/21 | Leases: an efficient fault-tolerant mechanism
for distributed file cache consistency Gray, C. and Cheriton, D. Proceedings of the Twelfth ACM Symposium on Operating Systems Principles SOSP '89. ACM Press, New York, NY, 202-210. |
Merchant Farid Slides: pdf ppt |
| 9/23 | Practical Byzantine Fault Tolerance Miguel Castro, Barbara Liskov, Massachusetts Institute of Technology Published in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, February 1999, 173-186 |
Nathan Baker Slides: pdf ppt |
| 9/28 | End-to-end arguments in system design J. H. Saltzer, D. P. Reed, D. D. Clark November 1984 ACM Transactions on Computer Systems (TOCS), Volume 2 Issue 4 |
Will discuss in class, no eval required |
| 9/30 | Effects of clock resolution on the scheduling of
interactive and soft real-time processes Yoav Etsion, Dan Tsafrir, Dror G. Feitelson June 2003 Proceedings of the 2003 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, Volume 31 Issue 1 |
James Volpe Slides: pdf ppt |
| 10/3 - No Class | ||
| 10/5 - No Class | ||
| 10/7 | Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler Jason Nieh, Chris Vaill, and Hua Zhong, Columbia University Proceedings of the 2001 USENIX Annual Technical Conference, June 25-30, 2001, Boston, Massachusetts, USA, 245260 |
Xiaojun Wang Slides: pdf ppt |
| 10/12 | The Transaction Concept: Virtues and Limitations Jim Gray Proceedings of the VLDB Conference, 1981 |
Vikram Raj Slides: pdf ppt |
| 10/14 | Journaling Versus Soft Updates: Asynchronous Meta-data Protection in File Systems Margo I. Seltzer, Harvard University; Gregory R. Ganger, Carnegie Mellon University; M. Kirk McKusick, Author & Consultant; Keith A. Smith, Harvard University; Craig A. N. Soules, Carnegie Mellon University; Christopher A. Stein, Harvard University Published in the Proceedings of the 2000 USENIX Annual Technical Conference, June 18-23, 2000, San Diego, California, USA, 71-84 |
Abhijit Deodhar Slides: pdf ppt |
| 10/19 | File and storage systems: The Google file system Sanjay Ghemawat, Howard Gobioff, Shun-Tak Leung October 2003 Proceedings of the nineteenth ACM symposium on Operating systems principles |
Vijay Kumar Slides: pdf ppt |
| 10/21 | The duality of memory and communication in the implementation
of a multiprocessor operating system M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger November 1987 ACM SIGOPS Operating Systems Review, Proceedings of the eleventh ACM Symposium on Operating systems principles, Volume 21 Issue 5 |
Rajesh Sudarsan Slides: pdf ppt |
| 10/26 | Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection Emmett Witchel, Junghwan Rhee(University of Texas at Austin), Krste Asanovic (MIT CSAIL) Appeared at SOSP 2005 |
Sreeram Ramalingam Slides: pdf ppt |
| 10/28 | Labels and Event Processes in the Asbestos Operating System Petros Efstathopoulos (UCLA), Maxwell Krohn (MIT), Steve VanDeBogart (UCLA), Cliff Frey (MIT), Michelle Osborne (NYU) , David Ziegler (MIT) , Eddie Kohler (UCLA), David Mazieres (NYU), M. Frans Kaashoek (MIT CSAIL), Robert T. Morris (MIT CSAIL) Appeared at SOSP 2005 |
Karthik Anantapur Bacherao Slides: pdf ppt |
| 11/2 | Application performance and flexibility on Exokernel systems Kaashoek, M. F., Engler, D. R., Ganger, G. R., Brice, H. M., Hunt, R., Mazières, D., Pinckney, T., Grimm, R., Jannotti, J., and Mackenzie, K. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (Saint Malo, France, October 05 - 08, 1997). W. M. Waite, Ed. SOSP '97. ACM Press, New York, NY, 52-65 |
Chris Goddard Slides: pdf ppt |
| 11/7 | Extensibility safety and performance in the SPIN operating system Bershad, B. N., Savage, S., Pardyak, P., Sirer, E. G., Fiuczynski, M. E., Becker, D., Chambers, C., and Eggers, S. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles (Copper Mountain, Colorado, United States, December 03 - 06, 1995). M. B. Jones, Ed. SOSP '95. ACM Press, New York, NY, 267-283 |
Allen Kerr Slides: pdf ppt |
| 11/9 | Making Operating Systems more robust:
Improving the Reliability of Commodity Operating Systems Michael M. Swift, Brian N. Bershad, Henry M. Levy October 2003 Proceedings of the nineteenth ACM symposium on Operating systems principles |
Hari Pyla Slides: pdf ppt |
| 11/11 | Efficient Software-Based Fault Isolation Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham December 1993 ACM SIGOPS Operating Systems Review, Proceedings of the fourteenth ACM symposium on Operating systems principles, Volume 27 Issue 5 |
John Gordon Slides: pdf ppt |
| 11/16 | Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions Dawson Engler, Benjamin Chelf, Andy Chou, and Seth Hallem Published at OSDI 2000 |
Matthew Thornton Slides: pdf ppt |
| 11/30 | Rx: Treating Bugs As Allergies -- A Safe Method for Surviving Software Failures Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou (University of Illinois at Urbana-Champaign) Appeared at SOSP 2005 |
Mark Lawson Slides: pdf ppt |
| 12/2 | Virtual machine monitors: Xen and the art of virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield October 2003, Proceedings of the nineteenth ACM Symposium on Operating Systems Principles |
Tom Panning Slides: pdf ppt |
| 12/7 | Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java Godmar Back, Wilson C. Hsieh, Jay Lepreau Published at OSDI 2000 |
Godmar Back |