Static detection of asymptotic performance bugs in collection traversals (2015)

by Oswaldo Olivo, Isil Dillig, Calvin Lin
Venue:In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 369–378. PLDI 2015