Qinshi Wang FPO "Formally verifiable data plane programming" in CS 402
Date and Time
Thursday, August 24, 2023 - 2:30pm to 4:30pm
Location
Not yet determined.
Type
FPO
Adviser: Appel
Readers: David Walker, Nate Foster (Cornell)
Examiners: Appel, Rexford, Kincaid