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

Displayed time zone: Pacific Time (US & Canada) change

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

YouTube lightning session video

NV: An Intermediate Language for Verification of Network Control Planes
PLDI Research Papers
Nick Giannarakis Princeton University, USA, Devon Loehr Princeton University, USA, Ryan Beckett Microsoft Research, USA, David Walker Princeton University, USA
Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection
PLDI Research Papers
Hongjune Kim Seoul National University, South Korea, Jianping Zeng Purdue University, USA, Qingrui Liu Virginia Tech, USA, Mohammad Abdel-Majeed University of Jordan, Jordan, Jaejin Lee Seoul National University, South Korea, Changhee Jung Purdue University, USA
Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution
PLDI Research Papers
Kiwan Maeng Carnegie Mellon University, USA, Brandon Lucia Carnegie Mellon University, USA
Detecting Network Load Violations for Distributed Control Planes
PLDI Research Papers
Kausik Subramanian University of Wisconsin-Madison, USA, Anubhavnidhi Abhashkumar University of Wisconsin-Madison, USA, Loris D'Antoni University of Wisconsin-Madison, USA, Aditya Akella University of Wisconsin-Madison, USA