Please add yourself to a lecture by editing this Google Doc. I periodically grab this data from Google Docs and sync it to the course website, so it make take a little time before your updates are reflected here.
| Date | Slides | Topic | Required reading | Optional reading | Discussion leaders |
|---|---|---|---|---|---|
| 1/9 | [gdoc] | Intro | |||
| 1/11 | [gdoc] | VMM1 | When virtual is better than real, Peter M. Chen, Brian D. Noble, Proceedings of the 2001 Workshop on Hot Topics in Operating Systems, May 2001.
ReVirt: enabling intrusion analysis through virtual-machine logging and replay. Dunlap, G. W., King, S. T., Cinar, S., Basrai, M. A., and Chen, P. M. 2002. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation |
When Virtual is Harder than Real: Security Challenges in Virtual Machine Based Computing Environments by Tal Garfinkel and Mendel Rosenblum 10th Workshop on Hot Topics in Operating Systems (HOTOS-X). | Sam |
| 1/16 | [gdoc] | VMM2 | Scale and performance in the Denali isolation kernel. Whitaker, A., Shaw, M., and Gribble, S. D. 2002. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation | Disco: running commodity operating systems on scalable multiprocessors. Bugnion, E., Devine, S., and Rosenblum, M. 1997. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (Saint Malo, France, October 05 - 08, 1997)
Xen and the art of virtualization. Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., and Warfield, A. 2003. In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles (Bolton Landing, NY, USA, October 19 - 22, 2003). SOSP '03. |
Sam |
| 1/18 | [gdoc] | Exo1 | Application performance and flexibility on exokernel systems. M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie. In the Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP '97), Saint-Malô, France, October 1997. | Trust and Protection in the Illinois Browser Operating System, Shuo Tang, Haohui Mai, and Samuel T. King, Proceedings of the 2010 Symposium on Operating Systems Design and Implementation | Sam |
| 1/23 | [gdoc] | Mono1 | Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, and Vikram Adve. Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS ’15), pages 191–206, New York, NY, USA, 2015. ACM | Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems. John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve. Proceedings of the Twenty First ACM Symposium on Operating Systems Principles (SOSP '07), Stevenson, WA, October 2007. | Sean Alling, Guozhen Li, Zainul Abi Din |
| 1/25 | [gdoc] | Mono2 | Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazières, and Christos Kozyrakis. 2012. Dune: Safe User-level Access to Privileged CPU Features. In Proceedings of the 10th Symposium on Operating Systems Design and Implementation (OSDI). | https://dl.acm.org/citation.cfm?id=2189750.2151017 Providing safe, user space access to fast, solid state disks | Dixit Paudel, Shweta Dash |
| 1/30 | None | FullStack1 | Ilias Marinos, Robert N. M. Watson, Mark Handley, and Randal Ray Stewart. Disk|Crypt|Net: rethinking the stack for high performance video streaming. ACM SIGCOMM 2017 Conference (SIGCOMM'17). Los Angeles, CA, USA, August 21-25, 2017. | Luigi Rizzo. 2012. Netmap: a novel framework for fast packet I/O. In Proceedings of the 2012 USENIX conference on Annual Technical Conference (USENIX ATC'12). USENIX Association, Berkeley, CA, USA, 9-9. | Kevin Jesse, Austin Chau, Chia-Cheng Yen, Tianchen Sun |
| 2/1 | [gdoc] | Formal1 | Hyperkernel: Push-Button Verification of an OS Kernel. Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang. In Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP), Shanghai, China, October 2017. | Verifying Security Invariants in ExpressOS. Haohui Mai, Edgar Pek, Hui Xue, Samuel T. King, and P. Madhusudan. 18th Int'l Conf. on Architectural Support for Prog. Lang. and Operating Sys. (ASPLOS), 2013 | Doug Sherman, Joseph Kotlarek, Nick Joodi |
| 2/6 | [gdoc] | Google1 | MapReduce: Simplified Data Processing on Large Clusters. Jeffrey Dean and Sanjay Ghemawat. OSDI'04: Sixth Symposium on Operating System Design and Implementation, San Francisco, CA, December, 2004. | Spark: Cluster computing with working sets. Zaharia M, Chowdhury M, Franklin MJ, Shenker S, Stoica I. HotCloud. 2010 Jun 22;10(10-10):95. Resilient distributed datasets: A fault-tolerant abstraction for in-memory cluster computing. Zaharia M, Chowdhury M, Das T, Dave A, Ma J, McCauley M, Franklin MJ, Shenker S, Stoica I. InProceedings of the 9th USENIX conference on Networked Systems Design and Implementation 2012 Apr 25 (pp. 2-2). USENIX Association. |
Hanxing Zhang, Xixuan Li, Liwei Wu, Xiaoxiao Wang |
| 2/8 | [gdoc] | Google2 | Native Client: A Sandbox for Portable, Untrusted x86 Native Code, Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley Chen, Robert Muth, Tavis Ormandy, Shiki Okasaka, Neha Narula, Nicholas Fullagar, Security and Privacy, IEEE Symposium on, pp. 79-93, 2009 30th IEEE Symposium on Security and Privacy, 2009 | Ayush Jain, Navin Adhe, Jing Li, Han Yang,Zhiyuan Zhang | |
| 2/13 | [pdf] | Google3 | Spanner: Google's Globally-Distributed Database. James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford. Published in the Proceedings of OSDI'12: Tenth Symposium on Operating System Design and Implementation, Hollywood, CA, October, 2012. | Hari Venugopalan, Songjie Bi, Jinhua Cao, Sanchit Aggarwal, Yumeng Zhang | |
| 2/15 | [pdf] | Google4 | Bigtable: A Distributed Storage System for Structured Data. Fay Chang , Jeffrey Dean , Sanjay Ghemawat , Wilson C. Hsieh , Deborah A. Wallach , Mike Burrows , Tushar Chandra , Andrew Fikes , Robert E. Gruber, OSDI'06: Seventh Symposium on Operating System Design and Implementation, Seattle, WA, November, 2006. | The Google File System Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung SOSP’03, October 19–22, 2003, Bolton Landing, New York, USA. | Jason Driver |
| 2/20 | gdoc | uKern1 | Chris Grier, Shuo Tang, Samuel T. King. Secure Web Browsing with the OP Web Browser. IEEE Symposium on Security and Privacy 2008 | A safety-oriented platform for Web applications. R.S. Cox ; J.G. Hansen ; S.D. Gribble ; H.M. Levy, Published in the 2006 IEEE Symposium on Security and Privacy Robust Defenses for Cross-Site Request Forgery. Adam Barth, Collin Jackson, John C. Mitchell. CCS'08, October 27-31, 2008, Alexandria, Virginia, USA. |
Navpreet Kaur, Jonathan Castello, Jon Chapman, Ethan Wang |
| 2/22 | gdoc | Auth1 | N. Karapanos, C. Marforio, C. Soriente, and S. Capkun. Sound-proof: Usable two-factor authentication based on ambient sound. In 24th USENIX Security Symposium (USENIX Security 15), pages 483–498, Washington, D.C., 2015. USENIX Association. | Czeskis, Alexei, et al. "Strengthening user authentication through opportunistic cryptographic identity assertions." Proceedings of the 2012 ACM conference on Computer and communications security. ACM, 2012. Yang, Feng, and Sathiamoorthy Manoharan. "A security analysis of the OAuth protocol." Communications, Computers and Signal Processing (PACRIM), 2013 IEEE Pacific Rim Conference on. IEEE, 2013. | Liyang Zhong, Quan Zou,Zheng Zhang, Xiaoju Guo, Michael Yen |
| 2/27 | [gdoc] | Dist1 | Time, Clocks, and the Ordering of Events in a Distributed System by Leslie Lamport. Communications of the ACM, 1978. | Dynamo: Amazon’s Highly Available Key-value Store Fine-Grained Network Time Synchronization using Reference Broadcasts |
Farhana Sarker, Wen-Chi Hung, Huan-Ting Yen, Jingxian Liao |
| 3/1 | Dist2 | Bitcoin | The Ripple Protocol Consensus Algorithm | Abdulhai Naqvi | |
| 3/6 | No Class | ||||
| 3/8 | Presentations |
|
|||
| 3/13 | Presentations |
|
|||
| 3/15 | Presentations |
|