"Synthesizing Data Structure Transformations from Input-Output Examples" |
|
"Ceph: A Scalable, High-Performance Distributed File System" |
|
"Mnemosyne: Lightweight Persistent Memory" |
|
"Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing" |
|
"GPUfs: Integrating a File System with GPUs" |
|
"Dandelion: a Compiler and Runtime for Heterogeneous Systems" |
|
"Operating System Transactions" |
|
"Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism" |
|
"Jitsu: Just-In-Time Summoning of Unikernels" |
|
"Rethinking the Library OS from the Top Down" |
|
"Arrakis: The Operating System is the Control Plane" |
|
"Memory Resource Management in VMware ESX Server" |
|
"Xen and the Art of Virtualization" |
|
"Practical, transparent operating system support for superpages" |
|
"Threads and Input/Output in the Synthesis Kernel" |
|
"END-TO-END ARGUMENTS IN SYSTEM DESIGN" |
|
"Exokernel: An Operating System Architecture for Application-Level Resource Management" |
|
"The UNIX Time- Sharing System" |
|
"Weighted Voting for Replicated Data" |
|
"The Andrew File System (AFS)" |
|
"Petal: Distributed Virtual Disks" |
|
"Sun's Network File System (NFS)" |
|
"MapReduce: Simplified Data Processing on Large Clusters" |
|
"Scaling Distributed Machine Learning with the Parameter Server" |
|
"Dynamo: Amazon’s Highly Available Key-value Store" |
|
"Fast Crash Recovery in RAMCloud" |
|
"PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees" |
|
"BLEU: a Method for Automatic Evaluation of Machine Translation" |
|
"Existential Consistency: Measuring and Understanding Consistency at Facebook" |
|
"PNUTS: Yahoo!’s Hosted Data Serving Platform" |
|
Distributed System Reference Guide |
|
"Why do computers stop and what can be done about it?" |
|
"Introduction to Distributed System Design" |
|
Crowdsourcing readings |
|