CSE 551 15sp

CSE 551 is a graduate course on operating systems, and more broadly, computer systems in general.

June 1: Final presentation schedule posted: each group has 7 minutes (5m talk + 2m Q&A).
Mar 27: Preliminary schedule posted. The first class meeting will be on Monday, Mar 30, 2015.

Staff

Name	Office
Xi Wang	Allen Center 560
Adriana Szekeres	Allen Center 591

Communications

Class meetings: EEB 031, MW 11:00–12:20
Mailing list: cse551a_sp15@uw
Discussion board
Dropbox
Gradebook
Anonymous feedback

Schedule

We will focus on one paper per lecture.

API

Mar 30 - Sign up for two presentation slots (up to 3 students per slot).
- notes
- Mars Code, CACM 2014.
Apr 1 - The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors, SOSP 2013. (James W. & Naveen)
- notes, talk, discussion
- Laws of Order, POPL 2012.

Scalability

Apr 6 - Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012. (James W. & Naveen & Omar)
Apr 8 - IX: A Protected Dataplane Operating System for High Throughput and Low Latency, OSDI 2014. (Antoine & Eric Mackay)
- notes, talk & discussion
- Exokernel, SOSP 1995.
- Arrakis, OSDI 2014.

Apr 13 - no class.
Apr 15 - Twitter Streaming Aggregator (guest lecture by Matt Klein)

Replay

Apr 20 - R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin)
- notes, talk & discussion
- IntroVirt, SOSP 2005.
Apr 22 - Undo for Operators: Building an Undoable E-mail Store, USENIX ATC 2003. (Danyang)
- notes, talk & discussion
- Rail, OSDI 2014.

Concurrency

Apr 27 - Operating System Transactions, SOSP 2009. (Antoine & Mark)
- notes, talk, discussion
- MUVI, SOSP 2007.
Apr 29 - Deterministic Process Groups in dOS, OSDI 2010. (Jingjing & Qiao)
- notes, talk & discussion
- Deterministic Parallel Ruby, PLDI 2014.

Sandboxing

May 4 - Capsicum: practical capabilities for UNIX, USENIX Security 2010. (Anna & Venkatesh)
- notes, talk & discussion
- Confused Deputy, OSR 1988.
May 6 - Efficient Software-Based Fault Isolation, SOSP 1993. (Eric Mullen & Jingjing)
- notes
- Native Client, USENIX Security 2010.

Kernel verification

May 11 - Singularity: Rethinking the Software Stack, OSR 2007. (James B. & Mark & Venkatesh)
- notes, talk, discussion
- SPIN, SOSP 1995.
May 13 - Establishing Browser Security Guarantees through Formal Shim Verification, USENIX Security 2012. (Eric Mullen & John)
- notes
- IBOS, OSDI 2010.
- seL4, SOSP 2009.

Symbolic execution

May 18 - KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, OSDI 2008. (Bill & James B.)
- notes, talk & discussion
- SAGE, NDSS 2008.
May 20 - Automatic Device Driver Synthesis with Termite, SOSP 2009. (Bill & John)
- notes/driver, notes/sketch, talk & discussion
- Sketch, ASPLOS 2006.

Networking

May 25 - Memorial Day
- no class
May 27 - The case for ubiquitous transport-level encryption, USENIX Security 2010. Internet-Draft. (Anna & Danyang & Qiao)
- notes, talk & discussion

File systems

Jun 1 - All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications, OSDI 2014. (Eric Mackay & Jialin & Omar)
- Rethink the Sync, OSDI 2006.
Jun 3 - demo day.

Labs

Links