Reading List

Before 2000

[SOSP 1983] Hints for Computer System Design

Butler W. Lampson

[TOCS 1984] End-To-End Arguments in System Design

Jerome H. Saltzer, David P. Reed, David D. Clark

[SOSP 1989] Lightweight Remote Procedure Call

Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy

[SOSP 1991] The Design and Implementation of a Log-Structured File System

Mendel Rosenblum, John K. Ousterhout

[SOSP 1995] Exokernel: An Operating System Architecture for Application-Level Resource Management

Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.

2000 - 2010

[SOSP 2003] Xen and the art of virtualization

Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield

[SOSP 2003] The Google file system

ISanjay Ghemawat, Howard Gobioff, Shun-Tak Leung

[OSDI 2004] MapReduce: Simplified Data Processing on Large Clusters

Jeffrey Dean, Sanjay Ghemawat

[OSDI 2006] Rethink the Sync

Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn

[SOSP 2007] Dynamo: amazon's highly available key-value store

Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, Werner Vogels

[SOSP 2009] seL4: formal verification of an OS kernel

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood

2010 - 2020

[NSDI 2012] Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing

Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauly, Michael J. Franklin, Scott Shenker, Ion Stoica

[OSDI 2012] Spanner: Google's Globally-Distributed Database

Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. 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, Dale Woodford

[OSDI 2014] Scaling Distributed Machine Learning with the Parameter Server

Mu Li, David G. Andersen, Jun Woo Park, Alexander J. Smola, Amr Ahmed, Vanja Josifovski, James Long, Eugene J. Shekita, Bor-Yiing Su

2020 - Now

[NeurIPS 2022] FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness

Tri Dao, Daniel Y. Fu, Stefano Ermon, Atri Rudra, Christopher RĂ©