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
Gagandeep Singh
Assistant Professor, Siebel School of Computing and Data Science, UIUC
- Illinois, USA
- Github
- Google Scholar