Static detection of asymptotic performance bugs in collection traversals.

Oswaldo Olivo, Isil Dillig, Calvin Lin

Browse the full PLDI paper archive.