Static detection of asymptotic performance bugs in collection traversals

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 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

• Type: Journal
• Year: 2015
• Where: PLDI
• Authors: Oswaldo Olivo, Isil Dillig, Calvin Lin
• Keywords: PLDI 2015, Programming Languages