Organizational meeting

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

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

No meeting - multiple deadlines

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

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

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

Paxos Made Transparent (Yuchen, Kaiyuan)

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

No meeting - Grad Visit Days