CS262a Spring 2016: 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:
Wednesday
1/27

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:
Monday
2/1

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

1. Experience with Processes and Monitors in Mesa
   Butler Lampson and David Redell, Appears in Communications of the ACM 23, 2 (Feb. 1980), pp 105-117.
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:

• Pilot: An Operating System for a Personal Computer,
  David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C. Purcell. Appears in Proceedings of the 7th ACM Symposium on Operating Systems Principles (SOSP), Pacific Grove, Calif., Dec. 10-12, 1979
• Early Experience with Mesa,
  Charles M. Geschke, James H. Morris Jr, and Edwin H. Satterthwaite. Apears in ACM SIGPLAN/SIGOPS/SICSOFT Conference on Language Design for Reliable Software. 1977
• MARS rover priority inversion story

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 6:
Monday
2/8

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

• 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)

Reading 8:
Wednesday 2/17

1. Transactional Flash
   Vijayan Prabhakaran, Thomas L. Rodeheffer, and Lidong Zhou. Appears in Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI 2008).
2. Rethink the Sync
   Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn. Appears in Proceedings of the 7th USENIX Conference on Operating Systems Design and Implementation (OSDI 2006).

1. Granularity of Locks and Degrees of Consistency in a Shared Database
   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. Concurrency Control in Distributed Database Systems
   Bernstein and Goodman, Appears in Computing Surveys. Vol. 13, No. 2, June 1981

Reading 10:
Wednesday
2/24

1. The Notions of Consistency and Predicate Locks in a Database System
   K.P. Eswaran, J.N. Gray, R.A. Lorie, and I.L. Traiger. Appears in Communications of the ACM, Vol. 19, No. 11, 1976
2. Key Range Locking Strategies for Improved Concurrency
   David Lomet. Appears in Proceedings of the 19th VLDB Conference, 1993

Optional Readings:

• A Survey of B-Tree Locking Techniques
  Goetz Graefe. Appears in ACM Transactions on Database Systems, Vol. 35, No. 3, Article 16, July 2010
• A Survey of B-Tree Logging and Recovery Techniques (2-up version)
  Goetz Graefe. Appears in ACM Transactions on Database System, Vol 37, No. 1, Article 1, February 2012

Reading 11:
Monday
2/29

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. 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

Reading 12:
Wednesday
3/2

1. Integrating Multimedia Applications in Hard Real-Time Systems
   Luca Abeni and Giorgio Buttazzo. Appears in Proceedings of the Real-Time Systems Symposium (RTSS), 1998
2. 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.

Optional Reading:

• 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

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:

• 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 Reading 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.

Reading 14:
Wednesday
3/9

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. Parallel Database Systems: The Future of High Performance Database Systems
   Dave DeWitt and Jim Gray. Appears in Communications of the ACM, Vol. 32, No. 6, June 1992
2. 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.

Optional Reading for Paper #2:

• 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

1. A Comparison of Approaches to Large-Scale Data Analysis
   Andrew Pavlo, Erik Paulson, Alexander Rasin, Daniel J. Abadi, David J. DeWitt, Samuel Madden, Michael Stonebraker. Appears in Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009
2. Jockey: Guaranteed Job Latency in Data Parallel Clusters
   Andrew D. Ferguson, Peter Bodik, Srikanth Kandula, Eric Boutin, and Rodrigo Fonseca. Appears in Proceedings of the European Professional Society on Computer Systems Conference (EuroSys), 2012

Optional Reading:

• 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

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), 2007

Optional Reading:

• Teaching an Old Elephant New Tricks
  Nicolas Bruno.Appears in the 4th Biennial Conference on Innovative Data Systems Research (CIDR), January 4-7, 2009

1. RouteBricks: Exploiting Parallelism To Scale Software Routers
   Mihai Dobrescu and Norbert Egi, Katerina Argyraki, Byung-Gon Chun, Kevin Fall Gianluca Iannaccone, Allan Knies, Maziar Manesh, Sylvia Ratnasamy. Appears in Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP), October 2009

Optional Reading:

• The Click Modular Router
  Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, and M. Frans Kaashoek. Appears in Proceedings of the 17th Sympoisum on Operating Systems Principles (SOSP), 1999

1. 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
2. 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

Reading 20:
Wednesday
4/6

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. 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

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

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.

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

Optional Reading:

• 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

1. Pond: the OceanStore Prototype. Appears in Proceedings of the 2nd USENIX Conference on File and Storage Technologies (FAST), 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 for Paper #1:

• 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

Optional Reading for Paper #2:

• 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

Reading 24:
Wednesday
4/20

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. Megastore: Providing Scalable, Highly Available Storage for Interactive Services, Jason Baker, Chris Bond, James C. Corbett, JJ Furman, Andrey Khorlin, James Larson, Jean Michel L´eon, Yawei Li, Alexander Lloyd, Vadim Yushprakh. Appears in Proceedings of the 5th Biennial Conference on Innovative Data Systems Research (CIDR ’11), January 2011

Optional Readings:

• 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.

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:

• 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
• 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. 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 Reading:

• Toward Real Microkernels, Jochen Liedtke. Appears in the Communictions of the ACM, Vol 39, No 9, Sept 1996, pp 70-77