Organizational meeting & Irene’s practice talk

No meeting - SOSP

IronFleet: Proving Practical Distributed Systems Correct (Bryan Parno)

No meeting - Industrial Affiliates

Parallelizing User-Defined Aggregations using Symbolic Execution (Brandon)

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

No meeting - Veterans Day

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

No meeting - Thanksgiving

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

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