Aditya Srivastava

Queue

• The Chubby lock service for loosely-coupled distributed systems ~ Mike Burrows
• MyRocks: LSM-Tree Database Storage Engine Serving Facebook’s Social Graph ~ Yoshinori Matsunobu

Read (no writeup)

• Architecture of a Database System ~ Joseph M. Hellerstein, Michael Stonebraker, James Hamilton
• The Design and Implementation of a Log-Structured File System ~ Rosenblum and Ousterhout
• Stride Scheduling: Deterministic Proportional-Share Resource Management ~ Waldspurger and Weihl
• Cloudburst: Stateful Functions-as-a-Service ~ Sreekanti et al.
• Spanner: Google’s Globally-Distributed Database ~ Corbett et al.

Reviews

• The UNIX Time-Sharing System ~ Dennis M. Richie and Ken Thompson
• A History and Evaluation of System R ~ D. Chamberlin et al.
• A Fast File System for UNIX ~ McKusick, Joy, Leffler and Fabry
• Analysis and Evolution of Journaling File Systems ~ Prabhakaran, Arpaci-Dusseau, Arpaci-Dusseau
• End to End Arguments in System Design ~ Saltzer, Reed, and Clark
• The HP AutoRAID Hierarchical Storage System ~ Wilkes, Golding, Staelin and Sullivan
• Lightweight Recoverable Virtual Memory ~ M. Satyanarayanan, Henry H. Mashburn, Puneet Kumar, David C. Steere, and James J. Kistler
• Granularity of Locks and Degrees of Consistency in a Shared Database ~ Gray et al.
• Generalized Isolation Level Definitions ~ Atul Adya, Barbara Liskov, Patrick O’Neil
• CRDTs: Consistency without concurrency control ~ Shapiro et al.
• Coordination Avoidance in Database Systems ~ Bailis et al.
• Paxos Made Simple ~ Leslie Lamport
• In Search of an Understandable Consensus Algorithm ~ Diego Ongaro and John Ousterhout
• Disco: Running Commodity Operating Systems on Scalable Multiprocessors ~ Edouard Bugnion, Scott Devine, and Mendel Rosenblum
• 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
• Live Migration of Virtual Machines ~ C. Clark, K. Fraser, S. Hand, J. Hansen, E. Jul, C. Limpach, I. Pratt, A. Warfield
• An Updated Performance Comparison of Virtual Machines and Linux Containers ~ Wes Felter, Alexandre Ferreira, Ram Rajamony, Juan Rubio
• Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center ~ B. Hindman et al.
• Borg, Omega, and Kubernetes ~ Burns et al.
• Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications ~ Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
• Dynamo: Amazon’s Highly Available Key-value Store ~ Giuseppe DeCandia et al.
• Lottery Scheduling: Flexible Proportional-Share Resource Management ~ Waldspurger and Weihl
• Dominant Resource Fairness: Fair Allocation of Multiple Resource Types ~ Ghodsi et al.
• The Google File System ~ Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung
• Bigtable: A Distributed Storage System for Structured Data ~ Fay Chang et al.
• Microkernel Operating System Architecure and Mach ~ D. Black et al.
• seL4: Formal Verification of an OS Kernel ~ G. Klein et al.
• SPIN: An Extensible Microkernel for Application-specific Operating System Services ~ Bershad et al.
• Exokernel: An Operating System Architecture for Application-Level Resource Management ~ D. Engler et al.
• Cloud Programming Simplified: A Berkeley View on Serverless Computing ~ Jonas et al.
• Go at Google: Language Design in the Service of Software Engineering ~ Rob Pike
• Erlang: Making reliable distributed systems in the presence of software errors ~ Joe Armstrong
• MapReduce: Simplified Data Processing on Large Clusters ~ Jeffrey Dean and Sanjay Ghemawat
• Spark: Cluster Computing with Working Sets ~ Matei Zaharia, Mosharaf Chowdhury, Michael J. Franklin, Scott Shenker, Ion Stoica
• A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard ~ William Gropp et al.
• Ray: A Distributed Framework for Emerging AI Applications ~ Moritz et al.
• TensorFlow: A system for large-scale machine learning ~ Abadi et al.
• Clipper: A Low-Latency Online Prediction Serving System ~ Crankshaw et al.
• Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism ~ Shoeby et al.
• ZeRO: Memory Optimizations Toward Training Trillion Parameter Models ~ Rajbhandari et al.
• Delta Lake: High-Performance ACID Table Storage over Cloud Object Stores ~ Armbrust et al.
• POLARIS: The Distributed SQL Engine in Azure Synapse ~ Aguilar-Saborit et al.
• Making Information Flow Explicit in HiStar ~ Zeldovich et al.
• Using Crash Hoare Logic for Certifying the FSCQ File System ~ Chen et al.
• CryptDB: Protecting Confidentiality with Encrypted Query Processing ~ Popa et al.
• Opaque: An Oblivious and Encrypted Distributed Analytics Platform ~ Zheng et al.