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

This paper presents Penny, a compiler-directed resilience scheme for protecting GPU register files (RF) against soft errors. Penny replaces the conventional error correction code (ECC) based RF protection by using less expensive error detection code (EDC) along with idempotence based recovery. Compared to the ECC protection, Penny can achieve either the same level of RF resilience yet with significantly lower hardware costs or stronger resilience using the same ECC due to its ability to detect multi-bit errors when it is used solely for detection. In particular, to address the lack of store buffers in GPUs, which causes both checkpoint storage overwriting and the high cost of checkpointing stores, Penny provides several compiler optimizations such as storage coloring and checkpoint pruning. Across 25 benchmarks, Penny causes only $\approx$3% run-time overhead on average.

Wed 17 Jun
Times are displayed in 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 PinaUniversity of Illinois at Chicago

YouTube lightning session video

06:20 - 06:40
Talk
NV: An Intermediate Language for Verification of Network Control Planes
PLDI Research Papers
Nick GiannarakisPrinceton University, USA, Devon LoehrPrinceton University, USA, Ryan BeckettMicrosoft Research, USA, David WalkerPrinceton University, USA
06:40 - 07:00
Talk
Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection
PLDI Research Papers
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
07:00 - 07:20
Talk
Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution
PLDI Research Papers
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University, USA
07:20 - 07:40
Talk
Detecting Network Load Violations for Distributed Control Planes
PLDI Research Papers
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