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

Triangular Inequality (TI) has been used in many manual algorithm designs to achieve good efficiency in solving some distance calculation-based problems. This paper presents our generalization of the idea into a compiler optimization technique, named TI-based strength reduction. The generalization consists of three parts. The first is the establishment of the theoretic foundation of this new optimization via the development of a new form of TI named Angular Triangular Inequality, along with several fundamental theorems. The second is the revealing of the properties of the new forms of TI and the proposal of guided TI adaptation, a systematic method to address the difficulties in effective deployments of TI optimizations. The third is an integration of the new optimization technique in an open-source compiler. Experiments on a set of data mining and machine learning algorithms show that the new technique can speed up the standard implementations by as much as 134X and 46X on average for distance-related problems, outperforming previous TI-based optimizations by 2.35X on average. It also extends the applicability of TI-based optimizations to vector related problems, producing tens of times of speedup.

Mon 19 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30: PLDI Research Papers - Compiler Optimizations at Aula Master
Chair(s): Uday BondhugulaIndian Institute of Science
pldi-2017-papers10:50 - 11:15
Jonathan Lifflander, Sriram KrishnamoorthyPacific Northwest National Laboratories
pldi-2017-papers11:15 - 11:40
Olli Saarikivi, Margus VeanesMicrosoft Research, Todd Mytkowicz, Madan MusuvathiMicrosoft Research
pldi-2017-papers11:40 - 12:05
Yufei DingNorth Carolina State University, Lin NingNorth Carolina State University, Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University
Media Attached
pldi-2017-papers12:05 - 12:30
David MenendezRutgers University, Santosh NagarakatteRutgers University, USA
Media Attached