{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:48Z","timestamp":1750220748695,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386016","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"1112-1127","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Learning fast and precise numerical analysis"],"prefix":"10.1145","author":[{"given":"Jingxuan","family":"He","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Gagandeep","family":"Singh","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Markus","family":"P\u00fcschel","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/elina.ethz.ch\/","author":"ELINA.","year":"2019","unstructured":"2019. ELINA. http:\/\/elina.ethz.ch\/ 2019. Pytorch. https:\/\/pytorch.org\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"e_1_3_2_1_3_1","volume-title":"ICML","author":"Balcan Maria-Florina","year":"2018","unstructured":"Maria-Florina Balcan, Travis Dick, Tuomas Sandholm, and Ellen Vitercik. 2018. Learning to Branch. In ICML 2018. http:\/\/proceedings.mlr. press\/v80\/balcan18a.html"},{"key":"e_1_3_2_1_4_1","volume-title":"Vechev","author":"Balunovic Mislav","year":"2018","unstructured":"Mislav Balunovic, Pavol Bielik, and Martin T. Vechev. 2018. Learning to Solve SMT Formulas. In NeurIPS 2018. http:\/\/papers.nips.cc\/paper\/ 8233-learning-to-solve-smt-formulas Learning Fast and Precise Numerical Analysis PLDI \u201920, June 15\u201320, 2020, London, UK"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_55"},{"key":"e_1_3_2_1_6_1","unstructured":"Bruno Blanchet Patrick Cousot Radhia Cousot J\u00e9r\u00f4me Feret Laurent Mauborgne Antoine Min\u00e9 David Monniaux and Xavier Rival. 2003."},{"key":"e_1_3_2_1_7_1","volume-title":"Static Analyzer for Large Safety-Critical Software. In PLDI","author":"A","year":"2003","unstructured":"A Static Analyzer for Large Safety-Critical Software. In PLDI 2003."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_1_9_1","volume-title":"Closing the Performance Gap Between Doubles and Rationals for Octagons. In SAS","author":"Chawdhary Aziem","year":"2018","unstructured":"Aziem Chawdhary and Andy King. 2018. Closing the Performance Gap Between Doubles and Rationals for Octagons. In SAS 2018."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0314-7"},{"key":"e_1_3_2_1_11_1","volume-title":"The Octahedron Abstract Domain. In SAS","author":"Claris\u00f3 Robert","year":"2004","unstructured":"Robert Claris\u00f3 and Jordi Cortadella. 2004. The Octahedron Abstract Domain. In SAS 2004."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.29007\/6psr"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290355"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"e_1_3_2_1_16_1","volume-title":"Exploiting Sparsity in Difference-Bound Matrices. In SAS","author":"Gange Graeme","year":"2016","unstructured":"Graeme Gange, Jorge A. Navas, Peter Schachte, Harald S\u00f8ndergaard, and Peter J. Stuckey. 2016. Exploiting Sparsity in Difference-Bound Matrices. In SAS 2016."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837664"},{"key":"e_1_3_2_1_18_1","volume-title":"Vechev","author":"Gehr Timon","year":"2018","unstructured":"Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin T. Vechev. 2018. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. In S&P 2018."},{"key":"e_1_3_2_1_19_1","volume-title":"Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions. In PLDI","author":"Gershuni Elazar","year":"2019","unstructured":"Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv. 2019. Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions. In PLDI 2019."},{"key":"e_1_3_2_1_20_1","volume-title":"CAV","author":"Ghorbal Khalil","year":"2009","unstructured":"Khalil Ghorbal, Eric Goubault, and Sylvie Putot. 2009. The Zonotope Abstract Domain Taylor1+. In CAV 2009."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","unstructured":"3-642-02658-4_47 10.1007\/978-3-642-02658-4_47","DOI":"10.1007\/978-3-642-02658-4_47"},{"key":"e_1_3_2_1_22_1","volume-title":"ASE","author":"Godefroid Patrice","year":"2017","unstructured":"Patrice Godefroid, Hila Peleg, and Rishabh Singh. 2017. Learn&Fuzz: Machine Learning for Input Fuzzing. In ASE 2017."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","unstructured":"1109\/ASE.2017.8115618 10.1109\/ASE.2017.8115618","DOI":"10.1109\/ASE.2017.8115618"},{"key":"e_1_3_2_1_24_1","volume-title":"The SeaHorn Verification Framework. In CAV","author":"Gurfinkel Arie","year":"2015","unstructured":"Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, and Jorge A. Navas. 2015. The SeaHorn Verification Framework. In CAV 2015."},{"volume-title":"Cartesian Factoring of Polyhedra in Linear Relation Analysis","author":"Halbwachs Nicolas","key":"e_1_3_2_1_25_1","unstructured":"Nicolas Halbwachs, David Merchat, and Catherine Parent-Vigouroux. 2003. Cartesian Factoring of Polyhedra in Linear Relation Analysis, Vol. 2694."},{"key":"e_1_3_2_1_26_1","volume-title":"CCS","author":"He Jingxuan","year":"2019","unstructured":"Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, and Martin T. Vechev. 2019. Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. In CCS 2019."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","unstructured":"1145\/3319535.3363230 10.1145\/3319535.3363230","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53413-7_12"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","unstructured":"3-662-53413-7_12 10.1007\/978-3-662-53413-7_12","DOI":"10.1007\/978-3-662-53413-7_12"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00027"},{"key":"e_1_3_2_1_31_1","volume-title":"Apron: A Library of Numerical Abstract Domains for Static Analysis. In CAV","author":"Jeannet Bertrand","year":"2009","unstructured":"Bertrand Jeannet and Antoine Min\u00e9. 2009. Apron: A Library of Numerical Abstract Domains for Static Analysis. In CAV 2009."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2017.02.004"},{"key":"e_1_3_2_1_33_1","volume-title":"Le Song, George L. Nemhauser, and Bistra Dilkina.","author":"Khalil Elias Boutros","year":"2016","unstructured":"Elias Boutros Khalil, Pierre Le Bodic, Le Song, George L. Nemhauser, and Bistra Dilkina. 2016. Learning to Branch in Mixed Integer Programming. In AAAI 2016. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/ AAAI16\/paper\/view\/12514"},{"key":"e_1_3_2_1_34_1","volume-title":"NIPS","author":"Khalil Elias B.","year":"2017","unstructured":"Elias B. Khalil, Hanjun Dai, Yuyu Zhang, Bistra Dilkina, and Le Song. 2017. Learning Combinatorial Optimization Algorithms over Graphs. In NIPS 2017. http:\/\/papers.nips.cc\/paper\/7214-learningcombinatorial-optimization-algorithms-over-graphs"},{"key":"e_1_3_2_1_35_1","volume-title":"Semi-Supervised Classification with Graph Convolutional Networks. In ICLR","author":"Thomas","year":"2017","unstructured":"Thomas N. Kipf and Max Welling. 2017. Semi-Supervised Classification with Graph Convolutional Networks. In ICLR 2017."},{"key":"e_1_3_2_1_36_1","unstructured":"https:\/\/openreview. net\/forum?id=SJU4ayYgl"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66706-5_11"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45789-5_11"},{"key":"e_1_3_2_1_39_1","volume-title":"The octagon abstract domain. Higher-Order and Symbolic Computation 19, 1","author":"Min\u00e9 Antoine","year":"2006","unstructured":"Antoine Min\u00e9. 2006. The octagon abstract domain. Higher-Order and Symbolic Computation 19, 1 (2006)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594318"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814309"},{"key":"e_1_3_2_1_42_1","volume-title":"AISTATS","author":"Ross St\u00e9phane","year":"2011","unstructured":"St\u00e9phane Ross, Geoffrey J. Gordon, and Drew Bagnell. 2011. A Reduction of Imitation Learning and Structured Prediction to No-Regret Online Learning. In AISTATS 2011. http:\/\/proceedings.mlr.press\/v15\/ ross11a\/ross11a.pdf"},{"key":"e_1_3_2_1_43_1","volume-title":"Bias-variance Tradeoffs in Program Analysis. In POPL","author":"Sharma Rahul","year":"2014","unstructured":"Rahul Sharma, Aditya V. Nori, and Alex Aiken. [n. d.]. Bias-variance Tradeoffs in Program Analysis. In POPL 2014."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","unstructured":"2535838.2535853 10.1145\/2535838.2535853","DOI":"10.1145\/2535838.2535853"},{"key":"e_1_3_2_1_45_1","volume-title":"NEUZZ: Efficient Fuzzing with Neural Program Smoothing. In S&P","author":"She Dongdong","year":"2019","unstructured":"Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, and Suman Jana. 2019. NEUZZ: Efficient Fuzzing with Neural Program Smoothing. In S&P 2019."},{"key":"e_1_3_2_1_46_1","volume-title":"NeurIPS","author":"Si Xujie","year":"2018","unstructured":"Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, and Le Song. 2018. Learning Loop Invariants for Program Verification. In NeurIPS 2018. http:\/\/papers.nips.cc\/paper\/8001-learning-loop-invariants-forprogram-verification"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-010-9062-8"},{"key":"e_1_3_2_1_48_1","volume-title":"Fast Numerical Program Analysis with Reinforcement Learning. In CAV","author":"Singh Gagandeep","year":"2018","unstructured":"Gagandeep Singh, Markus P\u00fcschel, and Martin Vechev. 2018. Fast Numerical Program Analysis with Reinforcement Learning. In CAV 2018."},{"key":"e_1_3_2_1_49_1","volume-title":"Vechev","author":"Singh Gagandeep","year":"2015","unstructured":"Gagandeep Singh, Markus P\u00fcschel, and Martin T. Vechev. 2015. Making Numerical Program Analysis Fast. In PLDI 2015."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","unstructured":"1145\/2737924.2738000 10.1145\/2737924.2738000","DOI":"10.1145\/2737924.2738000"},{"key":"e_1_3_2_1_51_1","volume-title":"Vechev","author":"Singh Gagandeep","year":"2017","unstructured":"Gagandeep Singh, Markus P\u00fcschel, and Martin T. Vechev. 2017. Fast Polyhedra Abstract Domain. In POPL 2017. http:\/\/dl.acm.org\/citation. cfm?id=3009885"},{"key":"e_1_3_2_1_52_1","volume-title":"Vechev","author":"Singh Gagandeep","year":"2018","unstructured":"Gagandeep Singh, Markus P\u00fcschel, and Martin T. Vechev. 2018. A Practical Construction for Decomposing Numerical Abstract Domains. PACMPL 2, POPL (2018), 55:1\u201355:28. PLDI \u201920, June 15\u201320, 2020, London, UK Jingxuan He, Gagandeep Singh, Markus P\u00fcschel, and Martin Vechev"},{"key":"e_1_3_2_1_53_1","volume-title":"Evaluating Design Tradeoffs in Numeric Static Analysis for Java. In ESOP","author":"Wei Shiyi","year":"2018","unstructured":"Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, and Michael Hicks. 2018. Evaluating Design Tradeoffs in Numeric Static Analysis for Java. In ESOP 2018."},{"key":"e_1_3_2_1_54_1","volume-title":"NeurIPS","author":"Ying Zhitao","year":"2019","unstructured":"Zhitao Ying, Dylan Bourgeois, Jiaxuan You, Marinka Zitnik, and Jure Leskovec. 2019. GNNExplainer: Generating Explanations for Graph Neural Networks. In NeurIPS 2019. http:\/\/papers.nips.cc\/paper\/9123gnnexplainer-generating-explanations-for-graph-neural-networks"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_11"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192416"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London UK","acronym":"PLDI '20"},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386016","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:49Z","timestamp":1750199929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":56,"alternative-id":["10.1145\/3385412.3386016","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386016","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}