Static detection of asymptotic performance bugs in collection traversals

Oswaldo Olivo, Isil Dillig, Calvin Lin. Static detection of asymptotic performance bugs in collection traversals. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 369-378, ACM, 2015. [doi]

@inproceedings{OlivoDL15,
  title = {Static detection of asymptotic performance bugs in collection traversals},
  author = {Oswaldo Olivo and Isil Dillig and Calvin Lin},
  year = {2015},
  doi = {10.1145/2737924.2737966},
  url = {http://doi.acm.org/10.1145/2737924.2737966},
  researchr = {https://researchr.org/publication/OlivoDL15},
  cites = {0},
  citedby = {0},
  pages = {369-378},
  booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015},
  editor = {David Grove and Steve Blackburn},
  publisher = {ACM},
  isbn = {978-1-4503-3468-6},
}