{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:05:55Z","timestamp":1784300755573,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,5]]},"DOI":"10.1145\/3803437.3805563","type":"proceedings-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:27:39Z","timestamp":1784298459000},"page":"1237-1241","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1809-8807","authenticated-orcid":false,"given":"Zixuan","family":"Yuan","sequence":"first","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1680-3129","authenticated-orcid":false,"given":"Bin","family":"Yu","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3421-1987","authenticated-orcid":false,"given":"Xu","family":"Lu","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0980-7628","authenticated-orcid":false,"given":"Wensheng","family":"Wang","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6789-7591","authenticated-orcid":false,"given":"Yuanzhe","family":"Liu","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1826-6213","authenticated-orcid":false,"given":"Cheng","family":"Wen","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8656-7137","authenticated-orcid":false,"given":"Meng","family":"Wang","sequence":"additional","affiliation":[{"name":"Hebei University, Baoding, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8015-9633","authenticated-orcid":false,"given":"Chu","family":"Chen","sequence":"additional","affiliation":[{"name":"Qufu Normal University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 233\u2013242","author":"Agarwal Rahul","unstructured":"Rahul Agarwal, Amit Sasturkar, Liqiang Wang, and Scott D. Stoller. 2005. Optimized Run-Time Race Detection and Atomicity Checking Using Partial Discovered Types. In Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 233\u2013242."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668017"},{"key":"e_1_3_2_1_3_1","first-page":"547","article-title":"Interrupt data race detection based on shared variable access order pattern","volume":"27","author":"Chen R.","year":"2016","unstructured":"R. Chen, M.-F Yang, and X.-Y Guo. 2016. Interrupt data race detection based on shared variable access order pattern. Journal of Software 27 (2016), 547\u2013561.","journal-title":"Journal of Software"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17184-1_25"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC53868.2021.00033"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.06.001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3418925"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C51114.2020.00084"},{"key":"e_1_3_2_1_10_1","volume-title":"Automation and Test in Europe Conference & Exhibition (DATE). 229\u2013234","author":"Kroening Daniel","year":"2015","unstructured":"Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, and Michael Tautschnig. 2015. Effective verification of low-level software with nested interrupts. In 2015 Design, Automation and Test in Europe Conference & Exhibition (DATE). 229\u2013234."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598140"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534412"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3070710"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950401"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086282"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.04.002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926398"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2925291"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155592"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). 57:1\u201357:20","author":"Tulsyan Rishi","year":"2020","unstructured":"Rishi Tulsyan, Rekha R. Pai, and Deepak D'Souza. 2020. Static Race Detection for RTOS Applications. In Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). 57:1\u201357:20."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914789"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERE-C.2013.33"},{"key":"e_1_3_2_1_24_1","first-page":"1","article-title":"Intelligent program synthesis framework and key scientific problems for embedded software","volume":"42","author":"Yang Mengfei","year":"2022","unstructured":"Mengfei Yang, Bin Gu, Zhenhua Duan, Zhi Jin, Naijun Zhan, and Yunwei Dong. 2022. Intelligent program synthesis framework and key scientific problems for embedded software. Chinese Space Science and Technology 42, 4 (2022), 1\u20137.","journal-title":"Chinese Space Science and Technology"},{"key":"e_1_3_2_1_25_1","first-page":"1","article-title":"Intelligent program synthesis framework and key scientific problems for embedded software","volume":"42","author":"Yang Mengfei","year":"2022","unstructured":"Mengfei Yang, Bin Gu, Zhenhua Duan, Zhi Jin, Naijun Zhan, Yunwei Dong, Cong Tian, Ge Li, and Xiaogang Dong. 2022. Intelligent program synthesis framework and key scientific problems for embedded software. Chinese Space Science and Technology 42, 4 (2022), 1\u20136.","journal-title":"Chinese Space Science and Technology"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616276"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW60843.2023.00049"}],"event":{"name":"FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering","location":"Concordia University Montreal QC Canada","acronym":"FSE Companion '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3803437.3805563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:28:36Z","timestamp":1784298516000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803437.3805563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":27,"alternative-id":["10.1145\/3803437.3805563","10.1145\/3803437"],"URL":"https:\/\/doi.org\/10.1145\/3803437.3805563","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}