CS262a Fall 2021: List of papers handed out so far.

1. The UNIX Time-Sharing System [NEW annotated version] [no summary required]
   Dennis M. Richie and Ken Thompson
   (New electronic version)

1. End-To-End Arguments in System Design
   J. H. Saltzer, D. P. Reed, D. D. Clark. Appears in ACM Transactions on Computer Systems,Vol 2, No. 4, November 1984, pp 277-288.
2. A History and Evaluation of System R [Annotated version] [in the "Red Book"]
   Donald D. Chamberlin, Morton A. Astrahan, Michael W. Blasgen, James N. Gray, W. Frank King, Bruce G. Lindsay, Raymond Lorie, James W. Mehl, Thomas G. Price, Franco Putzolu, Patricia Griffiths Selinger, Mario Schkolnick, Donald R. Slutz, Irving L. Traiger, Bradford W. Wade and Robert A. Yost
   

Optional readings:

• Architecture of a Database System [also in textbook]
• The Design and Implementation of Ingres [in the "Red Book"]
  Michael Stonebraker, Eugene Wong, Peter Kreps and Gerald Held

Reading 3:
Thursday
9/2

1. A Fast File System for UNIX
   McKusick, Joy, Leffler and Fabry
2. Analysis and Evolution of Journaling File Systems
   Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau
   

• Optional reading: The Design and Implementation of a Log-Structured File System
  Rosenblum and Ousterhout (229K)

Reading 4:
Tuesday
9/7

1. The HP AutoRAID Hierarchical Storage System (2-up version)
   John Wilkes, Richard Golding, Carl Staelin, and Tim Sullivan. Appears in ACM Transactions on Computer Systems, Vol. 14, No, 1, February 1996, Pages 108-136.
2. Finding a needle in Haystack: Facebook’s photo storage
   Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, Peter Vajgel. Appears in Proceedings of the USENIX conference in Operating Systems Design and Implementation (OSDI), 2010

Optional reading for paper #1:

• A Case for Redundant Arrays of Inexpensive Disks (RAID), David patterson, Garth Gibson, and Randy Katz, ACM SIGMOD conference, 1988

Optional reading for paper #2:

• EVENODD: an optimal scheme for tolerating double disk failures in RAID architectures
  M. Blaum, J. Brady, J. Bruck and J. Menon. Proceedings of the 21st International Symposium on Computer Architecture (ISCA), 1994
• Scalabilility in the XFS File System (HTML)
  Adam Sweeney, Doug Doucette, Wei Hu, Curtis Anderson, Mike Nishimoto, and Geoff Peck. Proceedings of ACM USENIX Conference, 1996
• XFS: the big storage file system for Linux,
  Christoph Hellwig. Appears in ;LOGIN, Vol 32, No. 5, October 2009

Reading 5:
Thursday
9/9

1. F2FS: A New File System for Flash Storage
   Changman Lee, Dongho Sim, Joo-Young Hwang, and Sangyeun Cho, Appears in Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST 2015)
   
2. A Fast and Slippery Slope for File Systems
   Ricardo Santana, Raju Rangaswami, Vasily Tarasov, Dean Hildebrand, Appears in Proceedings of the 3rd Workshop on Interactions of NVM/FLASH with Operating Systems and Workloads (INFLOW 2015)

Optional Reading:

• Wikipedia entry on F2FS is HERE. This has some additional information on F2FS that is (probably) useful. It also has a bunch of references on F2FS.
• A Reconfigurable FTL (Flash Translation Layer) Architecture for NAND Flash-Based Applications
  Chanik Park, Wonmoon Cheon, Jeonguk Kang, Kangho Roh, and Wonhee Cho. Appears in ACM Transactions on Embeded Computing Systems,Vol 7, No. 4, Article 38, July 2008
• Will Carbon Nanotube Memory Replace DRAM?, Bill Gervasi (Nantero). Appears in IEEE Micro, March/April 2019
• The Weight of Memory, John Kubaitowicz, New York Times, October 24, 2011

1. Granularity of Locks and Degrees of Consistency in a Shared Database (2-up version)
   J.N. Gray, R.A. Lorie, G.R. Putzolu, I.L. Traiger. Appears In IFIP Working Conference on Modeling of Data Base Management Systems. 1975
2. Principles of Transaction-Oriented Database Recovery
   Theo Haerder and Andreas Reuter, Appears in Journal of the ACM Computing Surveys (CSUR), Vol 15, No 4 (Dec. 1983), pp287-317

Optional reading for paper #1:

• A Critique of ANSI SQL Isolation Levels
  Hal Berenson, Phil Bernstein, Jim Gray, Jim Melton, Elizabeth O’Neil, and Patrick O’Neil. Appears in ACM SIGMOD ‘ 95,San Jose, CA USA
• Generalized Isolation Levels
  Atul Adya, Barbara Liskov, Patrick O'Neil. Appears in Proceedings of the IEEE International Conference on Data Engineering (ICDE), San Diego, CA, March 2000.

Optional reading for paper #2:

• The Transaction Concept: Virtues and Limitations,
  Jim Grey. Appears in Proceedings of the Seventh International Conference on Very Large Databases (VLDB), Sept. 1981.

Reading 7:
Thursday
9/16

1. ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-ahead Logging (2-up version) [in RedBook]
   C. Mohan, Don Haderle, Bruce Lindsay, Hamid Pirahesh and Peter Schwarz. Appears in Transactions on Database Systems, Vol 17, No. 1, March 1992, Pages 94-162

Optional readings:

• Repeating History Beyond ARIES
  C. Mohan. Appears in Proceedings of the 25th VLDB Conference, Edinburgh, Scotland, 1999.
• Model and verification of a data manager based on ARIES (2-up version)
  Dean Kuo. Appears In ACM Transactions on Database Systems (TODS), Vol 21, No. 4, December 1996, Pages 427-479
• A survey of B-tree logging and recovery techniques (2-up version)
  Goetz Graefe. Appears in ACM Transactions on Database Systems (TODS), Vol 37, No. 1, February 2012, Article #1

1. Segment-Based Recovery: Write-ahead Logging Revisited
   Sears and Brewer. Appears in Proceedings of the VLDB Endowment, Vol 2, No. 1, August 2009, pp 490-501
2. Lightweight Recoverable Virtual Memory
   M. Satyanarayanan, Henry H. Mashburn, Puneet Kumar, David C. Steere, and James J. Kistler. Appears in Proceedings of the 14th ACM Symposium on Operating Systems Principles (SOSP 1993)

1. CRDTs: Consistency without concurrency control
   Mihai Leția, Nuno Preguiça, Marc Shapiro. Appears as [Research Report] RR-6956, INRIA. 2009, pp.16. <inria-00397981>
2. Coordination Avoidance in Database Systems
   Peter Bailis, Alan Fekete†, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoic. Appears in Proceedings of the VLDB Endowment, Vol. 8, No. 3., 2014

Optional readings for Paper #1:

• Conflict-free Replicated Data Types
  Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski. Appears as [Research Report] RR-7687, INRIA. 2011, pp.18. <inria-00609399v1>

Optional readings for Paper #2:

• Scalable Atomic Visibility with RAMP Transactions
  Joe Hellerstein, Ion Stoica, Ali Ghodsi, Alan Fekete, Peter Bailis. Appears in Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data. 2014

1. Time, Clocks, and the Ordering of Events in a Distributed System
   Leslie Lamport. Appears in Communications of the ACM, Vol 21, No. 7, pp 558-565, July 1978
2. Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks
   Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari. Appears in Proceedings of ACM SIGMOD international conference on Management of Data,1995

1. Lottery Scheduling: Flexible Proportional-Share Resource Management
   Carl A. Waldspurger and William E. Weihl. Appears in Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994
2. Integrating Multimedia Applications in Hard Real-Time Systems
   Luca Abeni and Giorgio Buttazzo. Appears in Proceedings of the Real-Time Systems Symposium (RTSS), 1998

Optional Reading for Paper #1:

• SEDA: An Architecture for WellConditioned, Scalable Internet Services
  Matt Welsh, David Culler, and Eric Brewer. Appears in Proceedings of the 18th Symposium on Operating Systems Principles (SOSP), 2001

Optional Reading for Paper #2:

• Priority-Driven Scheduling of Periodic Task Systems on Multiprocessors
  Joel Goossens, Shelby Funk, and Sanjoy Baruah. Appears in Real-Time Systems, Vol 25, pp187-205, 2003
• Implementing Constant-Bandwidth Servers upon Multiprocessor Platforms
  Sanjoy Baruah, Joel Goossens, and Giuseppe Lipari . Appears in Proceedings of Real-Time and Embedded Technology and Applications Symposium, (RTAS), 2002.

1. Composing Parallel Software Efficiently with Lithe
   Heidi Pan, Benjamin Hindman, Krste Asanovic. Appears in Conference on Programming Languages Design and Implementation (PLDI), 2010
2. Dominant Resource Fairness: Fair Allocation of Multiple Resource Types
   Ali Ghodsi, Matei Zaharia, Benjamin Hindman, Andy Konwinski, Scott Shenker, Ion Stoica. Appears in Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI) 2011.

Optional Readings for Paper #1:

• Cilk: An Efficient Multithreaded Runtime System
  Blumofe, Robert D.; Joerg, Christopher F.; Kuszmaul, Bradley C.; Leiserson, Charles E.; Randall, Keith H.; Zhou, Yuli.App. Appears in Proceedings of ACM SIGPLAN Symposium on Prinicples and Practice of Parallel Programming (PPoPP), 1995
• Lithe: Enabling Efficient Composition of Parallel Libraries
  Heidi Pan, Benjamin Hindman, and Krste Asanovic. Appears in First USENIX Conference on Hot Topics in Parallelism, HotPAR, 2009

Optional Readings for Paper #2:

• Analysis and Simulation of a Fair Queueing Algorithm
  Alan Demers, Srinivasan Keshavt, and Scott Shenker. Appears In Proceedings of SIGCOMM, 1989, pages 1–12, New York, NY, USA, 1989. ACM.

1. Disco: Running Commodity Operating Systems on Scalable Multiprocessors
   Edouard Bugnion, Scott Devine, and Mendel Rosenblum. Appears in ACM Transactions on Computer Systems, Vol. 15, No. 4, November 1997, Pages 412–447.
2. Xen and the Art of Virtualization
   P. Barham, B. Dragovic, K Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt and A. Warfield. Appears in Symposium on Operating System Principles (SOSP), 2003

Optional Readings:

• Are Virtual Machine Monitors Microkernels Done Right?
  S. Hand, A. Warfield, K. Fraser, E. Kotsovinos, D. Magenheimer. Appears in Proceedings of the 10th conference on Hot Topics in Operating Systems (HotOS), 2005

1. Live Migration of Virtual Machines
   C. Clark, K. Fraser, S. Hand, J. Hansen, E. Jul, C. Limpach, I. Pratt, A. Warfield. Appears in Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI), 2005
2. The Case for VM-Based Cloudlets in Mobile Computing
   Mahadev Satyanarayanan , Paramvir Bahl, Ramon Caceres, Nigel Davies. Appears in IEEE Journal on Pervasive Computing, Vol 8, No 4, Oct-Dec 2009
3. Transient customization of mobile computing infrastructure
   Adan Wolbach, Jan Harkes, Srinivas Chellappa, M. Satyanarayanan. Appears in Proceedings of the First Workshop on Virtualization in Mobile Computing (MobiVirt), 2008

Optional Reading:

• ReVirt: Enabling Intrusion Analysis through Virtual Machine Logging and Replay
  G. Dunlap, S. King, S. Cinar, M. Basrai and P. Chen. Appears in Proceedings of the Symposium on Operating Systems Design and Implementation (OSDI), 2002
• SnowFlock: Rapid Virtual Machine Cloning for Cloud Computing
  H. Andrés Lagar-Cavilla, Joseph A. Whitney, Adin Scannell, Philip Patchin, Stephen M. Rumble, Eyal de Lara, Michael Brudno,and M. Satyanarayana. Appears in Proceedings of the European Professional Society on Computer Systems Conference (EuroSys), 2009

1. You Can Teach Elephants to Dance
   Kiryong Ha, Yoshihisa Abe, Thomas Eiszler, Zhuo Chen, Wenlu Hu, Brandon Amos, Rohit Upadhyaya, Padmanabhan Pillai, Mahadev Satyanarayanan. Appears in Procedings of the Symposium on Edge Computing (SEC), 2017
2. Global Data Plane: A Federated Vision for Secure Data in Edge Computing
   Nitesh Mor, Richard Pratt, Eric Allman, Ken Lutz, and John Kubiatowicz. Appears in the IEEE International Conference on Distributed Computing Systems (ICDCS), 2019

Optional Readings for Paper #1:

• Urgent Virtual Machine Eviction with Enlightened Post-Copy
  Yoshihisa Abe Roxana Geambasu, Kaustubh Joshi, Mahadev Satyanarayanan
  Appears in Proceedings of the12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE) 2016
• The Emergence of Edge Computing
  Mahadev Satyanaraynn. Appears in IEEE Computer, Vol 50, No. 1, Jan 2017
  

Optional Readings for Paper #2:

• Toward a Global Data Infrastructure
  Nitesh Mor, Ben Zhang, John Kolb, Douglas S. Chan, Nikhil Goyal, Nicholas Sun, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, and John Kubiatowicz. Appears in IEEE Internet Computing, Vol 20, No. 3, 2016
• The Cloud in Not Enough: Saving IoT from the Cloud
  Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Nikhil Goyal, Ken Lutz, Eric Allman, John Wawrzyne, Edward Lee, John Kubiatowicz. Appears in Proceedings of the 7th USNIX Workshop on Hot Topics in Cloud Computing (HotCloud), 2015
• Secure Fog Robotics Using the Global Data Plane
  John Kubiatowicz, Ken Lutz, Ken Goldgberg, Anthony Joseph, and Joseph Gonzalez (Recent NSF proposal; just funded, looking for students!)

1. Chord: A Scalable Peer-to-peer Lookup Protocol for Internet Applications, Ion Stoica, Robert Morris, David Liben-Nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, Hari Balakrishnan, Appears in Proceedings of the IEEE/ACM Transactions on Networking, Vol. 11, No. 1, pp. 17-32, February 2003
2. Tapestry: A Resilient Global-scale Overlay for Service Deployment, Ben Y. Zhao, Ling Huang, Jeremy Stribling, Sean C. Rhea, Anthony D. Joseph, and John D. Kubiatowicz.  Appears in IEEE Journal on Selected Areas in Communications, Vol 22, No. 1, January 2004

Optional Reading:

• Handling Churn in a DHT, Sean Rhea, Dennis Geels, Timothy Roscoe, and John Kubiatowicz. Appears in Proceedings of the USENIX Annual Technical Conference, June 2004.
• Tapestry: An Infrastructure for Fault-tolerant Wide-area Location and Routing,  Ben Y. Zhao, John D. Kubiatowicz, and Anthony D. Joseph. U. C. Berkeley Technical Report UCB/CSD-01-1141, April 2001
• Pastry: Scalable, decentralized object location and routing for large-scale peer-to-peer systems, A. Rowstron & P. Druschel. Appears in Proceedings of IFIP/ACM International Conference on Distributed Systems Platforms (Middleware), 2001

1. Dynamo: Amazon’s Highly Available Key-value Store, Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall and Werner Vogels. Appears in Proceedings of the Symposium on Operating Systems Design and Implementation (OSDI), 2007
2. Pond: the OceanStore Prototype, Sean Rhea, Patrick Eaton, Dennis Geels, Hakim Weatherspoon, Ben Zhao, and John Kubiatowicz. Appears in Proceedings of the 2nd USENIX Conference on File and Storage Technologies (FAST), 2003

Optional Reading for Paper #1:

• Storage management and caching in PAST, a large-scale, persisent peer-to-peer storage utility, Anthony Rowstron and Peter Druschel. Appears in Proceedings of the Symposium on Operating Systems Principles, SOSP, 2001.

Option Reading for Paper #2:

• OceanStore: An Architecture for Global-Scale Persistent Storage. John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, and Ben Zhao.  Appears in Proceeedings of the Ninth international Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), November 2000
  
  Note: this paper won the SIGARCH/SIGPLAN/SIGOPS ASPLOS Influential Paper Award for 2018!

1. Paxos Made Live - An Engineering Perspective, Tushar Chandra, Robert Griesemer, and Joshua Redstone. Appears in Proceedings of the Symposium on Principles of Distributed Computing (PODC), 2007
2. In Search of an Understandable Consensus Algorithm, Diego Ongaro and John Ousterhout. Appears in Proceedings of the USENIX Annual Technical Conference, 2014

Optional Readings for Paper #1

• The Part-Time Parliament, Leslie Lamport. Appears in ACM Transactions on Computer Systems 16, 2 (May 1998), 133-169.
• Paxos Made Simple, Leslie Lamport. Appears in ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001) 51-58.

Optional Readings for Paper #2

• In Search of an Understandable Consensus Algorithm (Extended Version), Diego Ongaro and John Ousterhout. Technical Report.
• See also RAFT site, HERE

1. The Byzantine Generals Problem, Leslie Lamport, Robert Shostak, and Marshall Pease. Appears in ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 4, No. 3, July 1982, pp 382-401
2. Practical Byzantine Fault Tolerance, M. Castro and B. Liskov. Appears In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999.
   

Optional Reading:

1. SBFT: aScalable and Decentralized Trust Infrastructure, G. Golan Gueta et al., Appears in 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019, pp. 568-580, doi: 10.1109/DSN.2019.00063.
2. Attested Append-Only Memory: Making Adversaries Stick to their Word, Byung-Gon Chun, Petros Maniatis, Scott Shenker, and John Kubiatowicz..  Appears in 21st Symposium on Operating Systems Principles, October 2007
3. Proactive recovery in a Byzantine-Fault-Tolerant system, M. Castro and B. Liskov. Appears in Proceedings of the Conference on Operating Systems Design and Implementation (OSDI), 2000.

1. The Google File System. Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung. Appears in Proceedings of the Symposium on Operating Systems Principles (SOSP), 2003
2. Bigtable: a distributed storage system for structured data. Appears in Proceedings of the 7th Conference on USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2006

Optional Reading:

• The Chubby lock service for loosely-coupled distributed systems. Mike Burrows (Google). Appears in Proceedings of the 7th Conference on USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2006

1. Spark: Cluster Computing with Working Sets
   M. Zaharia, M. Chowdhury, M.J. Franklin, S. Shenker and I. Stoica. Appears in Proceedings of HotCloud 2010, June 2010.
2. Ownership: A Distributed Futures System for Fine-Grained Tasks
   Stephanie Wang, Eric Liang, Edward Oakes, Ben Hindman, Frank Luan, Audrey Cheng, Ion Stoica. Appears in Proceedings of USENIX conference on Networked Systems Design and Implementation (NSDI), 2021

Optional Reading for Paper #1:

• MapReduce: Simplified Data Processing on Large Clusters
  Jeffrey Dean and Sanjay Ghemawat. Appears in Communications of the ACM, Vol. 51, No. 1, pp 107-113. January 2008
• MapReduce and Parallel DBMSs: Friends or Foes?
  Michael Stonebraker, Daniel Abadi, David J. DeWitt, Sam Madden, Erik Paulson, Andrew Pavlo, and Alexander Rasin. Appears in Proceedings of the Communications of the ACM (CACM), Vol. 53, No. 1, pp64-71, January 2010
• HadoopDB: An Architectural Hybrid of MapReduce and DBMS Technologies for Analytical Workloads
  Azza Abouzeid, Kamil BajdaPawlikowski, Daniel Abadi, Avi Silberschatz, Alexander Rasin. Appears in Proceedings of ACM Conference on Very Large Databases (VLDB), 2009
• Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing. Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, Ion Stoica. Appears in Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation (NSDI), 2012

Optional Readings for Paper #2:

• Ray: A Distributed Framework for Emerging AI Applications
  Philip Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, Melih Elibol, Zongheng Yang, William Paul, Michael I. Jordan, and Ion Stoica. Appears in Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2018

1. C-Store: A Column-oriented DBMS
   Mike Stonebraker, Daniel J. Abadi, Adam Batkin, Xuedong Chen, Mitch Cherniack, Miguel Ferreira, Edmond Lau, Amerson Lin, Sam Madden, Elizabeth O’Neil, Pat O’Neil, Alex Rasin, Nga Tran, Stan Zdonik. Appears in Proceedings of the ACM Conference on Very Large Databases(VLDB), 2005
   
2. Database Cracking
   Stratos Idreos, Martin L. Kersten, and Stefan Manegold. Appears in the 3rd Biennial Conference on Innovative Data Systems Research (CIDR), January 7-10, 2007

Optional Reading:

• The Vertica Analytical Database: C-Store 7 Years Later
  Andrew Lam, Matt Fuller, Ramakrishna Vardarajan, Nga Tran, Ben Vandiver, Lyric Doshi, Chuck Bear. Appears in Proceedings of the VLDB ENdowment, Vol. 5, No. 12, August 27-31, 2012
• The Uncracked Pieces in Database Cracking
  Felix Martin Schuhknecht, Alekh Jindal, Jens Dittrich: PVLDB 7(2):97-108.
• The Design and Implementation of Modern Column-Oriented Database Systems
  Daniel Abadi, Peter Boncz, Stavros Harizopoulos, Stratos Idreos, Sammuel Madden Foundations and Trends in Database Systems 5(3):197-280
• Teaching an Old Elephant New Tricks
  Nicolas Bruno.Appears in the 4th Biennial Conference on Innovative Data Systems Research (CIDR), January 4-7, 2009

Reading 23:
Tuesday
11/16

1. Making Information Flow Explicit in HiStar, Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David Mazi`eres. Appears in Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2006
2. Using Crash Hoare Logic for Certifying the FSCQ File System, Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich. Appears in Symposium on Operating Systems Principles (SOSP), 2015

Optional Reading for Paper #1:

• Labels and Event Processes in the Asbestos Operating System, Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart,Cliff Frey, David Ziegler,Eddie Kohler, David Mazi`eres, M. Frans Kaashoek and Robert Tappan Morris. Appears in Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP), 2005

1. Exokernel: An Operating System Architecture for Application-Level Resource Management, Dawson R. Engler, M. Frans Kaashoek, and James O’Toole Jr.Appeared in Proceedings of the ACM Symposium on Operating Systems Principles, 1995
2. seL4: Formal Verification of an OS Kernel, Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood. Appeared in Proceedings of the ACM Symposium on Operating Systems Principles, 2009

Optional Readings For Paper #1

• SPIN: An Extensible Microkernel for Application-specific Operating System Services, Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, Susan Eggers,
  Appears in Proceedings of the 15th ACM Symposium on Operating System Principles,1995

Optional Readings For Paper #2

• Comprehensive Formal Verification of an OS Microkernel, Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski, and Gernot Heiser. Appears in ACM Transactions on Computer Systems, Vol. 32, No. 1, Feb 2014
• Microkernel Operating System Architecture and Mach, D.L Black, D.B Golub, D.P Julin, R.F Rashid, R.P. Draves, R.W Dean, A. Forin, J. Barrera, H. Tokuda, G. Malan, and D. Bohman,
  Appears in Journal of Information Processing. 14 (4), 1992
• Toward Real Microkernels, Jochen Liedtke. Appears in the Communictions of the ACM, Vol 39, No 9, Sept 1996, pp 70-77

1. CryptDB: Protecting Confidentiality with Encrypted Query Processing, Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich, and Hari Balakrishnan. Appears in Proceedings of the Symposium on Operating Systems Principles (SOSP), 2011
2. Opaque: An Oblivious and Encrypted Distributed Analytics Platform, Wenting Zheng, Ankur Dave, Jethro G. Beekman, Raluca Ada Popa, Joseph E. Gonzalez, Ion Stoica. Appears in Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2017

1. Meltdown: Reading Kernel Memory from User Space, Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, and Mike Hamburg. Appears in Proceedings of the 27th USENIX Security Symposium, 2018
2. Spectre Attacks: Exploiting Speculative Execution, Paul Kocher, Jann Horn, Anders Fogh, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, and Yuval Yarom. Will appear in Proceedings of the 40th IEEE Symposium on Security and Privacy, 2019

Optional Reading:

• Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution, Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas Wenisch, Yuval Yarom, Raoul Strackx. Appears in Proceedings of the 27th USENIX Security Symposium, 2018