Back To Schedule
Thursday, February 27 • 1:50pm - 2:10pm
Plankton: Scalable network configuration verification through model checking

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar, University of Illinois at Urbana Champaign

Thursday February 27, 2020 1:50pm - 2:10pm PST
NSDI '20: Santa Clara Ballroom