BEGIN:VCALENDAR
VERSION:2.0
X-WR-CALNAME:15-712
X-WR-TIMEZONE:US/Eastern
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110110T103000
DTEND;TZID=US/Eastern:20110110T115000
SUMMARY:15-712 (Introduction - DGA)
DESCRIPTION:15-712 (Introduction - DGA)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110114T103000
DTEND;TZID=US/Eastern:20110114T115000
SUMMARY:15-712 (Implementing remote procedure calls - DGA)
DESCRIPTION:15-712 (Implementing remote procedure calls - DGA)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110119T103000
DTEND;TZID=US/Eastern:20110119T115000
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:20110121T103000
DTEND;TZID=US/Eastern:20110121T115000
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)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110124T103000
DTEND;TZID=US/Eastern:20110124T115000
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: Mentioned in class:  <a href="http://www.stanford.edu/~engler/deviant-sosp-01.pdf">Bugs as Deviant Behavior</a>.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110126T103000
DTEND;TZID=US/Eastern:20110126T115000
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: <a href="http://en.wikipedia.org/wiki/Therac-25">Therac-25</a>, <a href="http://www.nytimes.com/2010/01/24/health/24radiation.html?pagewanted=all">NY Times article</a>
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110128T103000
DTEND;TZID=US/Eastern:20110128T115000
SUMMARY:15-712 (AFS - DGA)
DESCRIPTION:15-712 (AFS - DGA)        Notes: <a href="http://portal.acm.org/citation.cfm?id=74850.74870">Leases paper</a>
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110131T103000
DTEND;TZID=US/Eastern:20110131T115000
SUMMARY:15-712 (Separating data and control transfer in distributed operating systems, The Direct Access File System - DGA)
DESCRIPTION:15-712 (Separating data and control transfer in distributed operating systems, The Direct Access File System - DGA)        Notes: no DeBergalis required.  <a href="http://institute.lanl.gov/isti/irhpit/projects/nfshpn.pdf">NFS over RDMA paper mentioned in class.</a>
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110202T103000
DTEND;TZID=US/Eastern:20110202T115000
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)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110204T103000
DTEND;TZID=US/Eastern:20110204T115000
SUMMARY:15-712 (Cluster-based storage: NASD and the Google File System - DGA)
DESCRIPTION:15-712 (Cluster-based storage: NASD and the Google File System - DGA)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110207T103000
DTEND;TZID=US/Eastern:20110207T115000
SUMMARY:15-712 (MapReduce and Dryad - DGA)
DESCRIPTION:15-712 (MapReduce and Dryad - DGA)        Notes: Project groups and initial ideas due
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110209T103000
DTEND;TZID=US/Eastern:20110209T115000
SUMMARY:15-712 (OS Architecture and Extensibility: SPIN and the Exokernel - DGA)
DESCRIPTION:15-712 (OS Architecture and Extensibility: SPIN and the Exokernel - DGA)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110216T103000
DTEND;TZID=US/Eastern:20110216T115000
SUMMARY:15-712 (Kernels and Parallelism - DGA)
DESCRIPTION:15-712 (Kernels and Parallelism - DGA)        Notes: Project proposal due (in class)
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110223T103000
DTEND;TZID=US/Eastern:20110223T115000
SUMMARY:15-712 (On Optimistic Methods for Concurrency Control - DGA)
DESCRIPTION:15-712 (On Optimistic Methods for Concurrency Control - DGA)        Notes: For further reading, see <a href="http://www.cs.cmu.edu/~dga/15-849/papers/speculator-sosp2005.pdf">Spectulative Execution in a Distributed File System</a>
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110228T103000
DTEND;TZID=US/Eastern:20110228T115000
SUMMARY:15-712 (Efficient Locking for Concurrent Operations on B-Trees - DGA)
DESCRIPTION:15-712 (Efficient Locking for Concurrent Operations on B-Trees - DGA)        Notes: See also <a href="http://pdos.csail.mit.edu/papers/chord:sigcomm01/chord_sigcomm.pdf">Chord-Sigcomm2001</a> if you'd like more details.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110314T103000
DTEND;TZID=US/Eastern:20110314T115000
SUMMARY:15-712 (Post Midterm Review - DGA)
DESCRIPTION:15-712 (Post Midterm Review - DGA)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110321T103000
DTEND;TZID=US/Eastern:20110321T115000
SUMMARY:15-712 (Principles of Transaction-Oriented Database Recovery - DGA)
DESCRIPTION:15-712 (Principles of Transaction-Oriented Database Recovery - DGA)        Notes: <a href="http://www.sai.msu.su/~megera/postgres/gist/papers/concurrency/p465-bernstein.pdf">Bernstein's concurrency notes - MVCC</a>, <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.299&rep=rep1&type=pdf">Why snapshot isolation is useful</a>, <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.299&rep=rep1&type=pdf">short paper about an anomaly in snapshot isolation, mentioning history</a>.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110323T103000
DTEND;TZID=US/Eastern:20110323T115000
SUMMARY:15-712 (BigTable - DGA)
DESCRIPTION:15-712 (BigTable - DGA)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110325T103000
DTEND;TZID=US/Eastern:20110325T115000
SUMMARY:15-712 (Dynamo - DGA)
DESCRIPTION:15-712 (Dynamo - DGA)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110328T103000
DTEND;TZID=US/Eastern:20110328T115000
SUMMARY:15-712 (Paxos - DGA)
DESCRIPTION:15-712 (Paxos - DGA)        Notes: <a href="http://en.wikipedia.org/wiki/Paxos_algorithm">Wikipedia Paxos article</a>.  <a href="http://research.microsoft.com/users/lamport/pubs/lamport-paxos.pdf">Lamport's original Greek parable</a>.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110404T103000
DTEND;TZID=US/Eastern:20110404T115000
SUMMARY:15-712 (The Byzantine General's Problem, Practical Byzantine Fault Tolerance - DGA)
DESCRIPTION:15-712 (The Byzantine General's Problem, Practical Byzantine Fault Tolerance - DGA)        Notes: <a href="http://research.microsoft.com/users/lamport/pubs/pubs.html#byz">Lamport's comments on the Byzantine Generals paper</a> (see also <a href="http://research.microsoft.com/users/lamport/pubs/pubs.html#reaching">here</a>).
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110406T103000
DTEND;TZID=US/Eastern:20110406T115000
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)       
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110411T103000
DTEND;TZID=US/Eastern:20110411T115000
SUMMARY:15-712 (The protection of information in computer systems - DGA)
DESCRIPTION:15-712 (The protection of information in computer systems - DGA)        Notes: Interim project reports due.<br />For additional info, see <a href="http://www.cs.cmu.edu/~dga/papers/flask-usenixsec99.pdf">The Flask Security Architecture</a> paper that describes the underpinnings of SELinux and the <a href="http://pdos.csail.mit.edu/papers/flume-sosp07.pdf">Flume paper</a> from SOSP 2007 on DIFC.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110418T103000
DTEND;TZID=US/Eastern:20110418T115000
SUMMARY:15-712 (A Logic of Authentication - DGA)
DESCRIPTION:15-712 (A Logic of Authentication - DGA)        Notes: See also <a href="http://pdos.csail.mit.edu/papers/webauth:sec10.pdf">Dos and Don'ts of Client Authentication on the Web</a>.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=US/Eastern:20110420T103000
DTEND;TZID=US/Eastern:20110420T115000
SUMMARY:15-712 (Special Guest:  Jeff Dean, Google Fellow.  Building Software Systems at Google and Lessons Learned - DGA)
DESCRIPTION:15-712 (Special Guest:  Jeff Dean, Google Fellow.  Building Software Systems at Google and Lessons Learned - DGA)        Notes: Location GHC 6115
END:VEVENT
END:VCALENDAR