{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T16:00:30Z","timestamp":1785340830135,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"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,4,12]]},"DOI":"10.1145\/3794763.3794793","type":"proceedings-article","created":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:18:58Z","timestamp":1785338338000},"page":"448-452","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-8889-3951","authenticated-orcid":false,"given":"Taythir G","family":"Martin","sequence":"first","affiliation":[{"name":"Texas State University, San Marcos, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1793-1009","authenticated-orcid":false,"given":"Rodion","family":"Podorozhny","sequence":"additional","affiliation":[{"name":"Texas State University, San Marcos, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1183-883X","authenticated-orcid":false,"given":"Shibbir","family":"Ahmed","sequence":"additional","affiliation":[{"name":"Texas State University, San Marcos, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,29]]},"reference":[{"key":"e_1_3_3_1_2_2","first-page":"1570","volume-title":"Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE)","author":"Ahmed Khaled","year":"2021","unstructured":"Khaled Ahmed, Mieszko Lis, and Julia Rubin. 2021. Slicer4J: A Dynamic Slicer for Java (Demonstration). In Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 1570\u20131574."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"George\u00a0S. Avrunin James\u00a0C. Corbett Laura\u00a0K. Dillon and Jack\u00a0C. Wileden. 1994. Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. IEEE Trans. Softw. Eng. 20 9 (Sept. 1994) 708\u2013719. 10.1109\/32.317429","DOI":"10.1109\/32.317429"},{"key":"e_1_3_3_1_4_2","unstructured":"Jianming Chang Jieke Shi Yunbo Lyu Xin Zhou Lulu Wang Zhou Yang Bixin Li and David Lo. 2025. SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents. arxiv:https:\/\/arXiv.org\/abs\/2507.18957\u00a0[cs.SE]"},{"key":"e_1_3_3_1_5_2","unstructured":"Mark Chen et\u00a0al. 2021. Evaluating Large Language Models Trained on Code. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2107.03374 (2021)."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan and Patrice Godefroid. 2005. Dynamic partial-order reduction for model checking software. ACM Sigplan Notices 40 1 (2005) 110\u2013121.","DOI":"10.1145\/1047659.1040315"},{"key":"e_1_3_3_1_7_2","unstructured":"Pengfei He Shaowei Wang and Tse-Hsun Chen. 2025. SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2509.17338 (2025)."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Gerard\u00a0J. Holzmann. 1997. The Model Checker SPIN. IEEE Transactions on Software Engineering 23 5 (1997) 279\u2013295.","DOI":"10.1109\/32.588521"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST62969.2025.10989012"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_33"},{"key":"e_1_3_3_1_11_2","unstructured":"Taythir\u00a0G Martin. 2025. LLM4Slice: Semantic Slicing Artifact Repository. https:\/\/github.com\/Taythir\/LLM-Based-Slicing\/. [Online; accessed 2026-02-11]."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC65507.2025.00155"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.5555\/869354"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Willem Visser Klaus Havelund Guillaume Brat SeungJoon Park and Flavio Lerda. 2003. Model checking programs. Automated software engineering 10 2 (2003) 203\u2013232.","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Mark Weiser. 1984. Program Slicing. IEEE Transactions on Software Engineering SE-10 4 (1984) 352\u2013357. 10.1109\/TSE.1984.5010248","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Linting Xue Aditya Barua Noah Constant Rami Al-Rfou Sharan Narang Mihir Kale Adam Roberts and Colin Raffel. 2022. ByT5: Towards a Token-Free Future with Pre-trained Byte-to-Byte Models. Transactions of the Association for Computational Linguistics 10 (2022) 291\u2013306. 10.1162\/tacl_a_00461","DOI":"10.1162\/tacl_a_00461"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Zhen Yu Xiang Wang Hongyu Zhang Zhenyu Chen et\u00a0al. 2024. A Survey on Large Language Models for Software Engineering. Comput. Surveys 56 (2024) 126:1\u2013126:34. Issue 5.","DOI":"10.1145\/3654795"},{"key":"e_1_3_3_1_18_2","unstructured":"Zibin Zheng Kaiwen Ning Yanlin Wang Jingwen Zhang Dewu Zheng Mingxi Ye and Jiachi Chen. 2023. A survey of large language models for code: Evolution benchmarking and future trends. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2311.10372 (2023)."}],"event":{"name":"ICPC '26: 34th IEEE\/ACM International Conference on Program Comprehension","location":"Rio de Janeiro , Brazil","acronym":"ICPC '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2026 34th IEEE\/ACM International Conference on Program Comprehension"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3794763.3794793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:19:48Z","timestamp":1785338388000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3794763.3794793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":17,"alternative-id":["10.1145\/3794763.3794793","10.1145\/3794763"],"URL":"https:\/\/doi.org\/10.1145\/3794763.3794793","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}