Quick links

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 

Follow us: Facebook Twitter Linkedin