{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:41:21Z","timestamp":1780994481696,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"funder":[{"name":"Major Program of Zhejiang Provincial Natural Science Foundation","award":["LD24F020013"],"award-info":[{"award-number":["LD24F020013"]}]},{"name":"CCF-Huawei Populus Grove Fund","award":["CCF-HuaweiFM202301"],"award-info":[{"award-number":["CCF-HuaweiFM202301"]}]},{"name":"Fundamental Research Funds for the Central Universities of China","award":["226-2024-00140"],"award-info":[{"award-number":["226-2024-00140"]}]},{"name":"ZJU Education Foundation's Qizhen Talent program"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695487","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"1082-1093","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Parf: Adaptive Parameter Refining for Abstract Interpretation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1986-6070","authenticated-orcid":false,"given":"Zhongyi","family":"Wang","sequence":"first","affiliation":[{"name":"Zhejiang University, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3838-0538","authenticated-orcid":false,"given":"Linyu","family":"Yang","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9663-7441","authenticated-orcid":false,"given":"Mingshuai","family":"Chen","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4720-9758","authenticated-orcid":false,"given":"Yixuan","family":"Bu","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5632-9479","authenticated-orcid":false,"given":"Zhiyang","family":"Li","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5138-3273","authenticated-orcid":false,"given":"Qiuye","family":"Wang","sequence":"additional","affiliation":[{"name":"Fermat Labs, Huawei Inc., Dongguan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3028-8191","authenticated-orcid":false,"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, Shaanxi, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4792-4433","authenticated-orcid":false,"given":"Xiao","family":"Yi","sequence":"additional","affiliation":[{"name":"Fermat Labs, Huawei Inc., Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4703-7348","authenticated-orcid":false,"given":"Jianwei","family":"Yin","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Benchmark Verification Tasks of SV-COMP","year":"2022","unstructured":"2022. Benchmark Verification Tasks of SV-COMP 2022. https:\/\/sv-comp.sosylab.org\/2022\/benchmarks.php. Accessed: 2024-06-08."},{"key":"e_1_3_2_1_2_1","unstructured":"2022. Collection of SV-COMP 2022 Verification Tasks. https:\/\/gitlab.com\/sosylab\/benchmarking\/sv-benchmarks. Accessed: 2024-06-08."},{"key":"e_1_3_2_1_3_1","unstructured":"2024. Open source case studies for Frama-C. https:\/\/git.frama-c.com\/pub\/open-source-case-studies. Accessed: 2024-06-08."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3321699"},{"key":"e_1_3_2_1_5_1","volume-title":"Automatic Database Management System Tuning Through Large-scale Machine Learning. In SIGMOD Conference. ACM, 1009--1024","author":"Aken Dana Van","year":"2017","unstructured":"Dana Van Aken, Andrew Pavlo, Geoffrey J. Gordon, and Bohan Zhang. 2017. Automatic Database Management System Tuning Through Large-scale Machine Learning. In SIGMOD Conference. ACM, 1009--1024."},{"key":"e_1_3_2_1_6_1","volume-title":"Progress on Software Verification: SV-COMP","author":"Beyer Dirk","year":"2022","unstructured":"Dirk Beyer. 2022. Progress on Software Verification: SV-COMP 2022. In TACAS (2). Lecture Notes in Computer Science, Vol. 13244. Springer, 375--402."},{"key":"e_1_3_2_1_7_1","volume-title":"TACAS (2) (Lecture Notes in Computer Science","author":"Beyer Dirk","unstructured":"Dirk Beyer and Martin Spiessl. 2022. The Static Analyzer Frama-C in SV-COMP (Competition Contribution). In TACAS (2) (Lecture Notes in Computer Science, Vol. 13244). Springer, 429--434."},{"key":"e_1_3_2_1_8_1","unstructured":"David B\u00fchler. 2017. Structuring an Abstract Interpreter through Value and State Abstractions:EVA an Evolved Value Analysis for Frama-C. (Structurer un interpr\u00e9teur abstrait au moyen d'abstractions de valeurs et d'\u00e9tats :Eva une analyse de valeur \u00e9volu\u00e9e pour Frama-C). Ph.D. Dissertation. University of Rennes 1 France."},{"key":"e_1_3_2_1_9_1","unstructured":"David B\u00fchler Pascal Cuoq and Boris Yakobowski. [n. d.]. Eva - the Evolved Value Analysis Plug-In."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510185"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Tianyi Chen Kihong Heo and Mukund Raghothaman. 2021. Boosting static analysis accuracy with instrumented test executions. In ESEC\/SIGSOFT FSE. ACM 1154--1165.","DOI":"10.1145\/3468264.3468626"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_13_1","volume-title":"Symposium sur la s\u00e9curit\u00e9 des technologies de l'information et des communications (SSTIC","author":"Ebalard Arnaud","year":"2019","unstructured":"Arnaud Ebalard, Patricia Mouy, and Ryad Benadjila. 2019. Journey to a RTE-free X. 509 parser. In Symposium sur la s\u00e9curit\u00e9 des technologies de l'information et des communications (SSTIC 2019)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2647939"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Kihong Heo Mukund Raghothaman Xujie Si and Mayur Naik. 2019. Continuously reasoning about programs using differential Bayesian inference. In PLDI. ACM 561--575.","DOI":"10.1145\/3314221.3314616"},{"key":"e_1_3_2_1_16_1","volume-title":"VSTTE (Lecture Notes in Computer Science","volume":"18","author":"Journault Matthieu","year":"2019","unstructured":"Matthieu Journault, Antoine Min\u00e9, Rapha\u00efl Monat, and Abdelraouf Ouadjaout. 2019. Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. In VSTTE (Lecture Notes in Computer Science, Vol. 12031). Springer, 1--18."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44245-2_2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510098"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0326-7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649844"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46982-9_7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.14778\/3514061.3514071"},{"key":"e_1_3_2_1_24_1","article-title":"SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization","volume":"23","author":"Lindauer Marius","year":"2022","unstructured":"Marius Lindauer, Katharina Eggensperger, Matthias Feurer, Andr\u00e9 Biedenkapp, Difan Deng, Carolin Benjamins, Tim Ruhkopf, Ren\u00e9 Sass, and Frank Hutter. 2022. SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization. J. Mach. Learn. Res. 23 (2022), 54:1--54:9.","journal-title":"J. Mach. Learn. Res."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14778\/3352063.3352112"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Hakjoo Oh Kihong Heo Wonchan Lee Woosuk Lee and Kwangkeun Yi. 2012. Design and implementation of sparse global analyses for C-like languages. In PLDI. ACM 229--238.","DOI":"10.1145\/2345156.2254092"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Mukund Raghothaman Sulekha Kulkarni Kihong Heo and Mayur Naik. 2018. User-guided program reasoning using Bayesian inference. In PLDI. ACM 722--735.","DOI":"10.1145\/3296979.3192417"},{"key":"e_1_3_2_1_28_1","volume-title":"Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). In TACAS (3) (Lecture Notes in Computer Science","author":"Saan Simmo","year":"2024","unstructured":"Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, and Helmut Seidl. 2024. Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). In TACAS (3) (Lecture Notes in Computer Science, Vol. 14572). Springer, 381--386."},{"key":"e_1_3_2_1_29_1","volume-title":"Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). In TACAS (2) (Lecture Notes in Computer Science","author":"Saan Simmo","year":"2021","unstructured":"Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, and Vesal Vojdani. 2021. Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). In TACAS (2) (Lecture Notes in Computer Science, Vol. 12652). Springer, 438--442."},{"key":"e_1_3_2_1_30_1","volume-title":"Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution). In TACAS (2) (Lecture Notes in Computer Science","author":"Saan Simmo","year":"2023","unstructured":"Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, and Vesal Vojdani. 2023. Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution). In TACAS (2) (Lecture Notes in Computer Science, Vol. 13994). Springer, 547--552."},{"key":"e_1_3_2_1_31_1","volume-title":"SAFECOMP Workshops (Lecture Notes in Computer Science","volume":"96","author":"Salvi Sayali","year":"2014","unstructured":"Sayali Salvi, Daniel K\u00e4stner, Tom Bienm\u00fcller, and Christian Ferdinand. 2014. True Error or False Alarm? Refining Astr\u00e9e's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. In SAFECOMP Workshops (Lecture Notes in Computer Science, Vol. 8696). Springer, 84--96."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2409.05794"},{"key":"e_1_3_2_1_33_1","volume-title":"Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR abs\/2404.00762","author":"Wen Cheng","year":"2024","unstructured":"Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, and Cong Tian. 2024. Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR abs\/2404.00762 (2024)."},{"key":"e_1_3_2_1_34_1","volume-title":"MindOpt Tuner: Boost the Performance of Numerical Software by Automatic Parameter Tuning. CoRR abs\/2307.08085","author":"Zhang Mengyuan","year":"2023","unstructured":"Mengyuan Zhang, Wotao Yin, Mengchang Wang, Yangbin Shen, Peng Xiang, You Wu, Liang Zhao, Junqiu Pan, Hu Jiang, and KuoLing Huang. 2023. MindOpt Tuner: Boost the Performance of Numerical Software by Automatic Parameter Tuning. CoRR abs\/2307.08085 (2023)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649845"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA","acronym":"ASE '24","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695487","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:06:19Z","timestamp":1750291579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695487"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":34,"alternative-id":["10.1145\/3691620.3695487","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695487","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}