Write a Blog >>
Mon 19 Jun 2017 12:05 - 12:30 at Aula Master - Compiler Optimizations Chair(s): Uday Bondhugula

Peephole optimizations are a common source of compiler bugs. Compiler developers typically transform an incorrect peephole optimization into a valid one by strengthening the precondition. This process is challenging and tedious. This paper proposes, PInfer, a data-driven approach for inferring preconditions for peephole optimizations expressed in Alive. PInfer generates positive and negatives examples for an optimization, enumerates predicates on-demand, and learns a set of predicates that separate the positive and negative examples. PInfer repeats this process until it finds a precondition that ensures the validity of the optimization. PInfer reports both the weakest precondition and a set of succinct partial preconditions to the developer. The PInfer prototype successfully generates either the partial precondition or the weakest precondition for 164 out of 174 peephole optimizations in the Alive suite. It also generates preconditions that are weaker than LLVM’s precondition for 73 optimizations. We also demonstrate the applicability of this technique to generalize 54 concrete expression directed acyclic graphs generated by an LLVM IR-based super optimizer.

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30
Compiler OptimizationsPLDI Research Papers at Aula Master
Chair(s): Uday Bondhugula Indian Institute of Science
10:50
25m
Talk
Cache Locality Optimization for Recursive Programs
PLDI Research Papers
Jonathan Lifflander , Sriram Krishnamoorthy Pacific Northwest National Laboratories
11:15
25m
Talk
Fusing Effectful Comprehensions
PLDI Research Papers
Olli Saarikivi , Margus Veanes Microsoft Research, Todd Mytkowicz , Madan Musuvathi Microsoft Research
11:40
25m
Talk
Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
PLDI Research Papers
Yufei Ding North Carolina State University, Lin Ning North Carolina State University, Hui Guan North Carolina State University, Xipeng Shen North Carolina State University
Media Attached
12:05
25m
Talk
ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
PLDI Research Papers
David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, USA
Media Attached