Organizational meeting
Antoine: FlexNIC
Irene, Niel, Pedro: Diamond
Kaiyuan: breaking verified systems
Haichen
Jialin: NOPaxos
Cong: Query reordering
Chandra
No seminar - OSDI deadline looming
Helga
Helgi: Yggdrasill
Adriana: Diskless State Machine Relication
Yuchen: MFT
Naveen: FlexNets
Guest lecture - James Cowling (Dropbox) - title TBD