Winter 2016, Wednesday 1:30–2:20, EEB 025

Jan 6

Organizational meeting

Jan 13

Implementing Linearizability at Large Scale and Low Latency (Niel, Nick)

Jan 20

Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems (Helga, Seungyeop)

Jan 27

No meeting - multiple deadlines

Feb 3

E2: A Framework for NFV Applications (Naveen, Antoine)

Feb 10

Using Crash Hoare Logic for Certifying the FSCQ File System (Helgi, Luke)

Feb 17

Isotope: Transactional Isolation for Block Storage (Adriana, Irene)

Feb 24

Paxos Made Transparent (Yuchen, Kaiyuan)

Mar 2

Yesquel: Scalable SQL storage for Web applications (Ellis, Jialin)

Mar 9

No meeting - Grad Visit Days