Lab Seminar (Spring 2016)

Paper discussion and research projects

Papers to read (TBD)
 Date Reading 
March 3 (Th)  Introduction
March 8
March 10
The UNIX Time-Sharing System [NEW annotated version] - GW1
End-to-End Arguments in System Design - TG
Hints for Computer System Design - HM
March 15
March 17 
A History and Evaluation of System R [Annotated version] - JS
March 22
March 24
A Fast File System for UNIX - TH
Analysis and Evolution of Journaling File Systems - WY
March 29
March 31
The HP AutoRAID Hierachical Storage Systems - GW1
ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-ahead Logging - JY
April 5
April 7 
Experience with Processes and Monitors in Mesa - YS1 
Lightweight Recoverable Virtual Memory - TH
April 12
April 14
 Rethink the Sync - GW2
 Granularity of Locks and Degrees of Consistency in a Shared Database
 Concurrency Control in Database Systems - 
April 19
April 21
 The Notions of Consistency and Predicate Locks in a Database System - 
 Key Range Locking Strategies for Improved Concurrency - 
April 26
April 28 
 Lottery Scheduling  - YS2
 Scheduler Activations - YS2
 SEDA: An Architecture for Well-Conditioned, Scalable Internet Services - TG
 The Click Modular Router - TG
May 3
May 5
 OSDI week
May 10
May 12
 Time, Clocks, and the Ordering of Events in a Distributed System - YS2
 Distributed Snapshots: Determining Global States of Distributed Systems - GW2
 Parallel Database Systems: The Future of High Performance Database Systems - 
 A Comparison of Approaches to Large-Scale Data Analysis - 
May 17
May 19
 C-Store: A Column-oriented DBMS - JY
 RouteBricks: Exploiting Parallelism to Scale Software Routers - 
May 24
May 26
 Disco: Running Commodity Operating Systems on Scalable Multiprocessors - HM
 Xen and the Art of Virtualization  - 
 Live Migration of Virtual Machines - 
 Memory Resource Management in VMware ESX Server - 
 Revirt: Enabling Intrusion Analysis through Virtual Machine Logging and Replay - 
May 31
June 2
 A Case for NOW (Network of Workstations) - 
 Cluster-based Scalable Network Services - GW1
 Scalable Distributed Data Structures - 
 Chord: A Scalable Peer-to-Peer Lookup Protocol for Internet Applications
 (MapReduce, GFS, BigTable, Dynamo) - YS1
June 7
June 9
 Impossibility of Distributed Consensus with One Faulty Process - 
 Reaching Agreement in the Presence of Faults - BY
 Paxos Made Simple - BY
 Paxos Made Live - BY
 Practical Byzantine Failure Tolerance - BY
 Speculative Execution in a Distributed File Systems
 Coda - 
 Flexible Update Propagation for Weakly Consistent Replication - JS
 Managing Update Conflicts in Bayou - JS
 K42: Building a Complete Operating System - TH
 seL4: Formal Verification of an OS kernel - HM
 Project presentation

* Unassigned papers
Segment-Based Recovery: Write-ahead Logging Revisited - ?