Making Numerical Program Analysis Fast

Published in ACM PLDI, 2015

Recommended citation: Gagandeep Singh, Markus Püschel, Martin Vechev, PLDI 2015. /files/PLDI15-OptOctagon.pdf