BEGIN:VCALENDAR
VERSION:2.0
X-WR-CALNAME:15-712
X-WR-TIMEZONE:US/Eastern
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190114T103000
DTEND;TZID=US/Eastern:20190114T115000
SUMMARY:15-712 (Introduction - DGA)
DESCRIPTION:15-712 (Introduction - DGA) Notes: Wisdom papers
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190116T103000
DTEND;TZID=US/Eastern:20190116T115000
SUMMARY:15-712 (Implementing remote procedure calls - DGA)
DESCRIPTION:15-712 (Implementing remote procedure calls - DGA) Notes: SigOps HoF paper
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190118T103000
DTEND;TZID=US/Eastern:20190118T115000
SUMMARY:15-712 (Datacenter RPCs can be General and Fast - DGA)
DESCRIPTION:15-712 (Datacenter RPCs can be General and Fast - DGA)
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190123T103000
DTEND;TZID=US/Eastern:20190123T115000
SUMMARY:15-712 (Using Threads in Interactive Systems: A Case Study - DGA)
DESCRIPTION:15-712 (Using Threads in Interactive Systems: A Case Study - DGA)
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190125T103000
DTEND;TZID=US/Eastern:20190125T115000
SUMMARY:15-712 (Time, Clocks, and the Ordering of Events in a Distributed System - DGA)
DESCRIPTION:15-712 (Time, Clocks, and the Ordering of Events in a Distributed System - DGA) Notes: SigOps HoF paper
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190128T103000
DTEND;TZID=US/Eastern:20190128T115000
SUMMARY:15-712 (Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs - DGA)
DESCRIPTION:15-712 (Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs - DGA) Notes: SOSP'97 best paper. Bugs as Deviant Behavior (SOSP'01).
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190130T103000
DTEND;TZID=US/Eastern:20190130T115000
SUMMARY:15-712 (Using Model Checking to Find Serious File System Errors - DGA)
DESCRIPTION:15-712 (Using Model Checking to Find Serious File System Errors - DGA) Notes: OSDI'04 best paper. Towards Optimization-Safe Systems. SOSP'13 best paper.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190201T103000
DTEND;TZID=US/Eastern:20190201T115000
SUMMARY:15-712 (AFS - DGA)
DESCRIPTION:15-712 (AFS - DGA) Notes: Leases paper. SigOps HoF papers
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190204T103000
DTEND;TZID=US/Eastern:20190204T115000
SUMMARY:15-712 (The Design and Implementation of a Log-Structured File System - DGA)
DESCRIPTION:15-712 (The Design and Implementation of a Log-Structured File System - DGA) Notes: SigOps HoF paper. Deadline to form project groups.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190206T103000
DTEND;TZID=US/Eastern:20190206T115000
SUMMARY:15-712 (A Case for Redundant Arrays of Inexpensive Disks (RAID) - DGA)
DESCRIPTION:15-712 (A Case for Redundant Arrays of Inexpensive Disks (RAID) - DGA) Notes: SigOps HoF paper. Fast'07 best paper.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190208T103000
DTEND;TZID=US/Eastern:20190208T115000
SUMMARY:15-712 (MapReduce and Spark - DGA)
DESCRIPTION:15-712 (MapReduce and Spark - DGA) Notes: SigOps HoF paper. NSDI'12 best paper. Dryad.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190211T103000
DTEND;TZID=US/Eastern:20190211T115000
SUMMARY:15-712 (TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems - DGA)
DESCRIPTION:15-712 (TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems - DGA)
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190213T103000
DTEND;TZID=US/Eastern:20190213T115000
SUMMARY:15-712 (Dynamo: Amazon's Highly Available Key-value Store - DGA)
DESCRIPTION:15-712 (Dynamo: Amazon's Highly Available Key-value Store - DGA)
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190215T103000
DTEND;TZID=US/Eastern:20190215T115000
SUMMARY:15-712 (Paxos - DGA)
DESCRIPTION:15-712 (Paxos - DGA) Notes: Wikipedia Paxos article. Lamport's original Greek parable Lamport's comments on original paper..
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190220T103000
DTEND;TZID=US/Eastern:20190220T115000
SUMMARY:15-712 (Shared Virtual Memory - DGA)
DESCRIPTION:15-712 (Shared Virtual Memory - DGA) Notes: SigOps HoF paper. OSDI'14 paper.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190222T103000
DTEND;TZID=US/Eastern:20190222T115000
SUMMARY:15-712 (OS Architecture and Extensibility: SPIN and the Exokernel - DGA)
DESCRIPTION:15-712 (OS Architecture and Extensibility: SPIN and the Exokernel - DGA) Notes: SOSP'97 paper. SigOps HoF paper. Original Exokernel paper Multikernel (SOSP'09).
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190225T103000
DTEND;TZID=US/Eastern:20190225T115000
SUMMARY:15-712 (Midterm Review - DGA)
DESCRIPTION:15-712 (Midterm Review - DGA)
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190318T103000
DTEND;TZID=US/Eastern:20190318T115000
SUMMARY:15-712 (The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors - DGA)
DESCRIPTION:15-712 (The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors - DGA) Notes: SOSP'13 best paper
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190325T103000
DTEND;TZID=US/Eastern:20190325T115000
SUMMARY:15-712 (On Optimistic Methods for Concurrency Control - DGA)
DESCRIPTION:15-712 (On Optimistic Methods for Concurrency Control - DGA) Notes: SigOps HoF paper. Spectulative Execution in a Distributed File System Efficient Locking for Concurrent Operations on B-Trees
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190401T103000
DTEND;TZID=US/Eastern:20190401T115000
SUMMARY:15-712 (Concurrency Control and Recovery - DGA)
DESCRIPTION:15-712 (Concurrency Control and Recovery - DGA) Notes: Bernstein's concurrency notes - MVCC, Coordination Avoidance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190408T103000
DTEND;TZID=US/Eastern:20190408T115000
SUMMARY:15-712 (The Byzantine Generals Problem - DGA)
DESCRIPTION:15-712 (The Byzantine Generals Problem - DGA) Notes: Lamport's comments on the Byzantine Generals paper. Practical Byzantine Fault Tolerance OSDI'99.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190415T103000
DTEND;TZID=US/Eastern:20190415T115000
SUMMARY:15-712 (Reflections on Trusting Trust, Why Cryptosystems Fail, Crisis and Aftermath - DGA)
DESCRIPTION:15-712 (Reflections on Trusting Trust, Why Cryptosystems Fail, Crisis and Aftermath - DGA) Notes: SigOps HoF paper. Write Summary only for Anderson94.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20190422T103000
DTEND;TZID=US/Eastern:20190422T115000
SUMMARY:15-712 (Highlights from the SOSP15 History Day Talks - DGA)
DESCRIPTION:15-712 (Highlights from the SOSP15 History Day Talks - DGA) Notes: SOSP15 History Day.
END:VEVENT
END:VCALENDAR