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

One of the major challenges faced by network
operators pertains to whether their network can meet input traffic
demand, avoid overload, and satisfy service-level agreements.
Automatically verifying if no network links are overloaded is
complicated—requires modeling frequent network failures,
complex routing and load-balancing technologies, and evolving traffic
requirements. We present QARC, a distributed control plane
abstraction that can automatically
verify whether a control plane may cause link-load violations under failures.
QARC is fully automatic and can help operators program
networks that are more resilient to
failures and upgrade the network to avoid violations.
We apply QARC to real datacenter and
ISP networks and find interesting cases of load violations.
QARC can detect violations in under an hour.

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

pldi-2020-papers
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
Talk
Nick GiannarakisPrinceton University, USA, Devon LoehrPrinceton University, USA, Ryan BeckettMicrosoft Research, USA, David WalkerPrinceton University, USA
pldi-2020-papers06:40 - 07:00
Talk
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
Talk
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University, USA
pldi-2020-papers07:20 - 07:40
Talk
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