Date: July 23, 2020
Time: 2:30-4:00pm ET

Agenda

2:30pm – 3:00pm

“Switch Code Generation using Program Synthesis”

Xiangyu Gao (NYU), Taegyun Kim (NYU), Michael Dean Wong (NYU), Divya Raghunathan (Princeton University), Aatish Kishan Varma (NYU), Pravein Govindan Kannan (National University of Singapore), Anirudh Sivaraman (NYU), Srinivas Narayana (Rutgers University).

3:00pm - 3:30pm

“BeauCoup: Answering Many Network Traffic Queries, One Memory Update at a Time”

Xiaoqi Chen (Princeton University), Shir Landau-Feibish (Princeton University), Mark Braverman (Princeton University), Jennifer Rexford (Princeton University).

3:30pm - 4:00pm

“NetLock: Fast, Centralized Lock Management Using Programmable Switches”

Zhuolong Yu (Johns Hopkins University), Yiwen Zhang (University of Michigan), Vladimir Braverman (Johns Hopkins University), Mosharaf Chowdhury (University of Michigan), Xin Jin (Johns Hopkins University).