{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:28:29Z","timestamp":1754144909295,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3736112.3736142","type":"proceedings-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T15:02:27Z","timestamp":1749826947000},"page":"17-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-9709-6121","authenticated-orcid":false,"given":"Guillaume","family":"Berthelot","sequence":"first","affiliation":[{"name":"Numalis, Montpellier, France"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4447-5857","authenticated-orcid":false,"given":"Arnault","family":"Ioualalen","sequence":"additional","affiliation":[{"name":"Numalis, Montpellier, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6238-9651","authenticated-orcid":false,"given":"Matthieu","family":"Martel","sequence":"additional","affiliation":[{"name":"University of Peprignan, Perpignan, France"},{"name":"Numalis, Montpellier, France"}]}],"member":"320","published-online":{"date-parts":[[2025,6,16]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Brian C. Van Essen, Abdul A. S. Awwal, and Vijayan K. Asari.","author":"Zahangir Alom Md.","year":"2018","unstructured":"Md. Zahangir Alom, Tarek M. Taha, Christopher Yakopcic, Stefan Westberg, Paheding Sidike, Mst Shamima Nasrin, Brian C. Van Essen, Abdul A. S. Awwal, and Vijayan K. Asari. 2018. The History Began from AlexNet: A Comprehensive Survey on Deep Learning Approaches. CoRR, abs\/1803.01164 (2018)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_2_1","DOI":"10.1145\/3563945"},{"key":"e_1_3_2_2_3_1","volume-title":"Explaining How a Deep Neural Network Trained with End-to-End Learning Steers a Car. CoRR, abs\/1704.07911","author":"Bojarski Mariusz","year":"2017","unstructured":"Mariusz Bojarski, Philip Yeres, Anna Choromanska, Krzysztof Choromanski, Bernhard Firner, Lawrence D. Jackel, and Urs Muller. 2017. Explaining How a Deep Neural Network Trained with End-to-End Learning Steers a Car. CoRR, abs\/1704.07911 (2017)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_4_1","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_5_1","DOI":"10.1145\/512760.512770"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_6_1","DOI":"10.1023\/B:NUMA.0000049462.70970.b6"},{"key":"e_1_3_2_2_7_1","volume-title":"2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings","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 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA. IEEE Computer Society, 3\u201318."},{"key":"e_1_3_2_2_8_1","volume-title":"Deep Residual Learning for Image Recognition. In 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016","author":"He Kaiming","year":"2016","unstructured":"Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. 2016. Deep Residual Learning for Image Recognition. In 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016. IEEE Computer Society, 770\u2013778."},{"key":"e_1_3_2_2_9_1","volume-title":"13th European Symposium on Programming, ESOP 2004, David A. Schmidt (Ed.) (Lecture Notes in Computer Science","volume":"17","author":"Min\u00e9 Antoine","year":"2004","unstructured":"Antoine Min\u00e9. 2004. Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. In Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, David A. Schmidt (Ed.) (Lecture Notes in Computer Science, Vol. 2986). Springer, 3\u201317."},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan","author":"Mirman Matthew","year":"2018","unstructured":"Matthew Mirman, Timon Gehr, and Martin T. Vechev. 2018. Differentiable Abstract Interpretation for Provably Robust Neural Networks. In Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan, Stockholm, Sweden, July 10-15, 2018 (Proceedings of Machine Learning Research, Vol. 80). PMLR, 3575\u20133583."},{"key":"e_1_3_2_2_11_1","volume-title":"Ray: A Distributed Framework for Emerging AI Applications. CoRR, abs\/1712.05889","author":"Moritz Philipp","year":"2017","unstructured":"Philipp Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, William Paul, Michael I. Jordan, and Ion Stoica. 2017. Ray: A Distributed Framework for Emerging AI Applications. CoRR, abs\/1712.05889 (2017)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_12_1","DOI":"10.1109\/CCWC.2018.8301729"},{"volume-title":"Fast and Effective Robustness Certification. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems. 10825\u201310836","author":"Singh Gagandeep","unstructured":"Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus P\u00fcschel, and Martin T. Vechev. 2018. Fast and Effective Robustness Certification. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems. 10825\u201310836.","key":"e_1_3_2_2_13_1"},{"key":"e_1_3_2_2_14_1","volume-title":"Proc. ACM Program. Lang., 3, POPL","author":"Singh Gagandeep","year":"2019","unstructured":"Gagandeep Singh, Timon Gehr, Markus P\u00fcschel, and Martin T. Vechev. 2019. An abstract domain for certifying neural networks. Proc. ACM Program. Lang., 3, POPL (2019), 41:1\u201341:30."},{"volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL, Giuseppe Castagna and Andrew D. Gordon (Eds.). ACM, 46\u201359","author":"Singh Gagandeep","unstructured":"Gagandeep Singh, Markus P\u00fcschel, and Martin T. Vechev. 2017. Fast polyhedra abstract domain. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL, Giuseppe Castagna and Andrew D. Gordon (Eds.). ACM, 46\u201359.","key":"e_1_3_2_2_15_1"},{"key":"e_1_3_2_2_16_1","volume-title":"Efficient Neural Network Validation with Affine Forms. In 6th International Conference on System Reliability and Safety, ICSRS 2022","author":"Soualah Asma","year":"2022","unstructured":"Asma Soualah and Matthieu Martel. 2022. Efficient Neural Network Validation with Affine Forms. In 6th International Conference on System Reliability and Safety, ICSRS 2022, Venice, Italy, November 23-25, 2022. IEEE, 179\u2013185."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_17_1","DOI":"10.1109\/SYNASC61333.2023.00024"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_18_1","DOI":"10.1109\/TCSS.2022.3179659"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"ARRAY '25","name":"ARRAY '25: 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming","location":"Seoul Republic of Korea"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3736112.3736142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T05:57:39Z","timestamp":1752645459000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3736112.3736142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":18,"alternative-id":["10.1145\/3736112.3736142","10.1145\/3736112"],"URL":"https:\/\/doi.org\/10.1145\/3736112.3736142","relation":{},"subject":[],"published":{"date-parts":[[2025,6,16]]},"assertion":[{"value":"2025-06-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}