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

March 30

Organizational meeting

Antoine: FlexNIC

April 6

Irene, Niel, Pedro: Diamond

Kaiyuan: breaking verified systems

April 13

Haichen

Jialin: NOPaxos

April 20

Cong: Query reordering

April 27

Chandra

May 4

No seminar - OSDI deadline looming

May 11

Helga

May 18

Helgi: Yggdrasill

Adriana: Diskless State Machine Relication

May 25

Yuchen: MFT

Naveen: FlexNets

Jun 1

Guest lecture - James Cowling (Dropbox) - title TBD