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

pldi2015-papers
09:15 - 10:55: Research Papers - Performance at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary HallUniversity of Utah
pldi2015-papers09:15 - 09:40
Talk
Oswaldo Olivo, Isil DilligUniversity of Texas, Austin, Calvin LinUT Austin
Media Attached
pldi2015-papers09:40 - 10:05
Talk
Yufei DingNorth Carolina State University, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Xipeng ShenNorth Carolina State University, Una-May O’ReillyMassachusetts Institute of Technology, Saman AmarasingheMIT
Link to publication Media Attached
pldi2015-papers10:05 - 10:30
Talk
Charith MendisMIT CSAIL, Jeffrey BosboomMIT CSAIL, Kevin WuMIT CSAIL, Shoaib KamilMIT CSAIL, USA, Jonathan Ragan-KelleyStanford, Sylvain ParisAdobe, Qin ZhaoGoogle, Saman AmarasingheMIT
Media Attached
pldi2015-papers10:30 - 10:55
Talk
William J. BowmanNortheastern University, Swaha MillerCisco Systems, Inc, Vincent St-AmourNortheastern University, R. Kent DybvigCisco Systems, Inc
Link to publication Media Attached