NetPL@SIGCOMM

201920192019

Keyphrases

Publications

2019

Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker
NV: An intermediate language for network verification. NetPL@SIGCOMM (2019)
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, NetPL@SIGCOMM 2019, Beijing, China, August 23, 2019. NetPL@SIGCOMM (2019)
Yifan Li, Jake Jia, Xiaohe Hu, Jun Li
Real Time Control Plane Verification. NetPL@SIGCOMM (2019)
Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle, Mira Mezini
Optimizing Data Plane Programs for the Network. NetPL@SIGCOMM (2019)