This fall we read SOSP 2015 papers at Wednesday 1:30-2:20, EEB 025.

Sep 30

Organizational meeting & Irene’s practice talk

Oct 7

No meeting - SOSP

Oct 14

IronFleet: Proving Practical Distributed Systems Correct (Bryan Parno)

Oct 21

No meeting - Industrial Affiliates

Oct 28

Parallelizing User-Defined Aggregations using Symbolic Execution (Brandon)

Nov 4

Existential Consistency: Measuring and Understanding Consistency at Facebook (Niel & Naveen)

Nov 11

No meeting - Veterans Day

Nov 18

No compromises: distributed transactions with consistency, availability, and performance (Yuchen & Adriana)

Nov 25

No meeting - Thanksgiving

Dec 2

High-Performance ACID via Modular Concurrency Control (Ellis & Jialin)

Dec 9

Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis (Anna & Paul)