Wed 17 Jun 2015 09:15 - 09:40 at PLDI Main BLUE (Portland 254-255) - Performance Chair(s): Mary Hall

This paper identifies and formalizes a prevalent class of asymptotic performance bugs called redundant traversal bugs and presents a novel static analysis for automatically detecting them. We empirically evaluate our technique by implementing it in a tool called CLARITY and applying it to widely-used software packages such as the Google Core Collections Library, the Apache Common Collections, and the Apache Ant build tool. Across 1,6M lines of Java code, CLARITY finds 92 instances of redundant traversal bugs, including 72 that have never been previously reported, with just 5 false positives. To evaluate the performance impact of these bugs, we compare the performance of the original program with the repaired program for different input sizes. With an input size of 50,000, all repaired programs are at least 2.4 times faster than their original code.

Wed 17 Jun

Displayed time zone: Tijuana, Baja California change

09:15 - 10:55
PerformanceResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary Hall University of Utah
09:15
25m
Talk
Automated Detection of Performance Bugs via Static Analysis
Research Papers
Oswaldo Olivo , Isil Dillig University of Texas, Austin, Calvin Lin UT Austin
Media Attached
09:40
25m
Talk
Autotuning Algorithmic Choice for Input Sensitivity
Research Papers
Yufei Ding North Carolina State University, Jason Ansel Massachusetts Institute of Technology, Kalyan Veeramachaneni Massachusetts Institute of Technology, Xipeng Shen North Carolina State University, Una-May O’Reilly Massachusetts Institute of Technology, Saman Amarasinghe MIT
Link to publication Media Attached
10:05
25m
Talk
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Research Papers
Charith Mendis MIT CSAIL, Jeffrey Bosboom MIT CSAIL, Kevin Wu MIT CSAIL, Shoaib Kamil MIT CSAIL, USA, Jonathan Ragan-Kelley Stanford, Sylvain Paris Adobe, Qin Zhao Google, Saman Amarasinghe MIT
Media Attached
10:30
25m
Talk
Profile-Guided Meta-Programming
Research Papers
William J. Bowman Northeastern University, Swaha Miller Cisco Systems, Inc, Vincent St-Amour Northeastern University, R. Kent Dybvig Cisco Systems, Inc
Link to publication Media Attached