Gagandeep Singh, Markus Püschel, Martin T. Vechev. Making numerical program analysis fast. 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 303-313, ACM, 2015. [doi]
@inproceedings{SinghPV15,
title = {Making numerical program analysis fast},
author = {Gagandeep Singh and Markus Püschel and Martin T. Vechev},
year = {2015},
doi = {10.1145/2737924.2738000},
url = {http://doi.acm.org/10.1145/2737924.2738000},
researchr = {https://researchr.org/publication/SinghPV15},
cites = {0},
citedby = {0},
pages = {303-313},
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},
}