Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Thu 18 Jun 2020 07:20 - 07:40 at PLDI Research Papers live stream - Performance Chair(s): Fredrik Kjolstad

Program analysis determines the potential dataflow and control flow relationships among instructions so that compiler optimizations can respect these relationships to transform code correctly. Since many of these relationships rarely or never occur, speculative optimizations assert they do not exist while optimizing the code. To preserve correctness, speculative optimizations add validation checks to activate recovery code when these assertions prove untrue. This approach results in many missed opportunities because program analysis and thus other optimizations remain unaware of the full impact of these dynamically-enforced speculative assertions. To address this problem, this paper presents SCAF, a Speculation-aware Collaborative dependence Analysis Framework. SCAF learns of available speculative assertions via profiling, computes their full impact on memory dependence analysis, and makes this resulting information available for all code optimizations. SCAF is modular (adding new analysis modules is easy) and collaborative (modules cooperate to produce a result more precise than the confluence of all individual results). Relative to the best prior speculation-aware dependence analysis technique, by computing the full impact of speculation on memory dependence analysis, SCAF dramatically reduces the need for expensive-to-validate memory speculation in the hot loops of all 16 evaluated C/C++ SPEC benchmarks.

Thu 18 Jun

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

06:20 - 07:40
06:20
20m
Talk
PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization
PLDI Research Papers
Fabian Ritter Saarland University, Germany, Sebastian Hack Saarland University, Germany
06:40
20m
Talk
PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
PLDI Research Papers
Zhenwei Wu National University of Defense Technology, China / University of Manchester, UK, Kai Lu National University of Defense Technology, China, Andrew Nisbet University of Manchester, UK, Wenzhe Zhang National University of Defense Technology, China, Mikel Luján University of Manchester, UK
07:00
20m
Talk
SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
PLDI Research Papers
Youwei Zhuo University of Southern California, USA, Jingji Chen University of Southern California, USA, Qinyi Luo University of Southern California, USA, Yanzhi Wang Northeastern University, USA, Hailong Yang Beihang University, China, Depei Qian Beihang University, China, Xuehai Qian University of Southern California, USA
07:20
20m
Talk
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
PLDI Research Papers
Sotiris Apostolakis Princeton University, USA, Ziyang Xu Princeton University, USA, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University, USA
DOI Pre-print Media Attached