Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Wed 17 Jun 2020 06:20 - 06:40 at PLDI Research Papers live stream - Networking and Hardware Chair(s): Luís Pina

Network misconfiguration has caused a raft of high-profile outages over the past decade, spurring researchers to develop a variety of network analysis and verification tools. Unfortunately, developing and maintaining such tools is an enormous challenge due to the complexity of network configuration languages. Inspired by work on \emph{intermediate languages for verification} such as Boogie and Why3, we develop \emph{NV}, an intermediate language for verification of network control planes. NV carefully walks the line between expressiveness and tractability, making it possible to build models for a practical subset of real protocols and their configurations, and also facilitate rapid development of tools that outperform state-of-the-art simulators (seconds vs minutes) and verifiers (often 10x faster). Furthermore, we show that it is possible to develop novel analyses just by writing new NV programs. In particular, we implement a new fault-tolerance analysis that scales to far larger networks than existing tools.

Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

06:20 - 07:40: PLDI Research Papers - Networking and Hardware at PLDI Research Papers live stream
Chair(s): Luís PinaUniversity of Illinois at Chicago

YouTube lightning session video

pldi-2020-papers06:20 - 06:40
Nick GiannarakisPrinceton University, USA, Devon LoehrPrinceton University, USA, Ryan BeckettMicrosoft Research, USA, David WalkerPrinceton University, USA
pldi-2020-papers06:40 - 07:00
Hongjune KimSeoul National University, South Korea, Jianping ZengPurdue University, USA, Qingrui LiuVirginia Tech, USA, Mohammad Abdel-MajeedUniversity of Jordan, Jordan, Jaejin LeeSeoul National University, South Korea, Changhee JungPurdue University, USA
pldi-2020-papers07:00 - 07:20
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University, USA
pldi-2020-papers07:20 - 07:40
Kausik SubramanianUniversity of Wisconsin-Madison, USA, Anubhavnidhi AbhashkumarUniversity of Wisconsin-Madison, USA, Loris D'AntoniUniversity of Wisconsin-Madison, USA, Aditya AkellaUniversity of Wisconsin-Madison, USA