Gagandeep Singh, Markus Püschel, Martin T. Vechev
Making numerical program analysis fast
PLDI, 2015.
@inproceedings{PLDI-2015-SinghPV, author = "Gagandeep Singh and Markus Püschel and Martin T. Vechev", booktitle = "{Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation}", doi = "10.1145/2737924.2738000", isbn = "978-1-4503-3468-6", pages = "303--313", publisher = "{ACM}", title = "{Making numerical program analysis fast}", year = 2015, }