• The UNIX Time-Sharing System

• The Evolution of Unix Time-sharing System
• Introduction to Operating Systems
• The Manchester Mark I and Atlas: A historical Perspective
• Virtual Memory Management VMM/VAX/VMS

Due date: Oct 18, 2021

• Experience with Processes and Monitors in Mesa

• Concurrent Threads
• Locks and Conditional Variables
• Scheduling
• Pilot: An Operating System for a Personal Computer

• The Design Philosophy of the DARPA Internet Protocols
• End-To-End Argument In System Design

• Congestion Avoidance and Control

• The QUIC Transport Protocol: Design and Internet-Scale Deployment
• Congestion-Control Throwdown

• Interdomain Internet Routing, BGP

• DNS, HTTP, HTTPS
• Interdomain Routing Security

• A Clean Slate 4D Approach to Network Control and Management

• Achieving High Utilization with Software-Driven WAN
• The Road to SDN: An Intellectual History of Programmable Networks

• Time, Clocks, and the Ordering of Events in a Distributed system
• Consistent Global States of Distributed Systems

• Knowledge and Common Knowledge in a Distributed Environment

• Paxos Made Simple

• State Machine Replication
• Chain Replication
• Fault Tolerant Virtual Machines
• 2 Phase Commits

Due date: Nov 12, 2021 11:59PM PT

• Bitcoin: A Peer-to-Peer Electronic Cash System

• Practical Byzantine Fault Tolerance
• From Viewstamped Replication to Byzantine Fault Tolerance

• Concurrency Control and Recovery

• The recovery manager of the System R DB Manager

• Chapter 7: Concurrency Control and Recovery in Database Systems

• Concurrency control in Distributed Database Systems
• Salt: Combining ACID and BASE in a Distributed Database
• Transaction chains: achieving serializability with low latency in geo-distributed storage systems (Lynx)

• Design and Implementation of Log-Structured File System

• Chord: A Scalable Peer-to-peer Lookup Protocol for Internet Applications

• Spanner: Google’s Globally Distributed Database

• Big Table: A Distributed Storage System for Structured Data
• No Compromises: distributed transactions with consistency, availability, and performance (FARM)
• F1: A distributed SQL Database That Scales

• VL2: A Scalable and Flexible Data Center Network

• The Datacenter as a Computer

• MapReduce: Simplified Data Processing on Large Clusters

• Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing (Spark)
• Parallel Databases: Gamma and Column-Stores
• Optimizing Joins on MapReduce
• MapReduce: A Flexible Data Processing Tool
• MapReduce and Parallel DBMSs: Friends or Foes?
• Pig Latin: A Not-So-Foreign Language for Data Processing
• Hive: A warehousing solution over a map-reduce framework
• PipeDream: Generalized Pipeline Parallelism for DNN Training

• TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems

• Towards Federated Learning at Scale: System Design
• Eyeriss: An Energy-Efficient Reconfigurable Accelerator for Deep Convolutional Neural Networks
• Deep Compression: Compression Deep Neural Networks With Pruning, Trained Quantization And Huffman Coding

• STREAM: The Stanford Stream Data Manager

• Discretized Streams: Fault-Tolerant Streaming Computation at Scale
• Apache Flink(TM): Stream and Batch Processing in a Single Engine
• Kafka: a Distributed Messaging System for Log Processing

• The protection of Information in Computer Systems or
• Lampson, Computer Security in the Real World

• Model Checking and Abstraction

• Model Checking Large Network Protocol Implementations
• A General Approach to Network Configuration Verification