{"id":"https://openalex.org/W7171712447","doi":"https://doi.org/10.1145/3794763.3794793","title":"Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs","display_name":"Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs","publication_year":2026,"publication_date":"2026-04-12","ids":{"openalex":"https://openalex.org/W7171712447","doi":"https://doi.org/10.1145/3794763.3794793"},"language":null,"primary_location":{"id":"doi:10.1145/3794763.3794793","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3794763.3794793","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3794763.3794793","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5143938917","display_name":"Taythir G Martin","orcid":"https://orcid.org/0009-0005-8889-3951"},"institutions":[{"id":"https://openalex.org/I13511017","display_name":"Texas State University","ror":"https://ror.org/05h9q1g27","country_code":"US","type":"education","lineage":["https://openalex.org/I13511017"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taythir G Martin","raw_affiliation_strings":["Texas State University, San Marcos, TX, USA"],"raw_orcid":"https://orcid.org/0009-0005-8889-3951","affiliations":[{"raw_affiliation_string":"Texas State University, San Marcos, TX, USA","institution_ids":["https://openalex.org/I13511017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141058571","display_name":"Rodion Podorozhny","orcid":"https://orcid.org/0009-0005-1793-1009"},"institutions":[{"id":"https://openalex.org/I13511017","display_name":"Texas State University","ror":"https://ror.org/05h9q1g27","country_code":"US","type":"education","lineage":["https://openalex.org/I13511017"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rodion Podorozhny","raw_affiliation_strings":["Texas State University, San Marcos, TX, USA"],"raw_orcid":"https://orcid.org/0009-0005-1793-1009","affiliations":[{"raw_affiliation_string":"Texas State University, San Marcos, TX, USA","institution_ids":["https://openalex.org/I13511017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103184443","display_name":"Shibbir Ahmed","orcid":"https://orcid.org/0000-0003-1183-883X"},"institutions":[{"id":"https://openalex.org/I13511017","display_name":"Texas State University","ror":"https://ror.org/05h9q1g27","country_code":"US","type":"education","lineage":["https://openalex.org/I13511017"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shibbir Ahmed","raw_affiliation_strings":["Texas State University, San Marcos, TX, USA"],"raw_orcid":"https://orcid.org/0000-0003-1183-883X","affiliations":[{"raw_affiliation_string":"Texas State University, San Marcos, TX, USA","institution_ids":["https://openalex.org/I13511017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I13511017"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"448","last_page":"452"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7659000158309937},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6787999868392944},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6309000253677368},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.5974000096321106},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5633000135421753},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.45179998874664307},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.414900004863739},{"id":"https://openalex.org/keywords/java-concurrency","display_name":"Java concurrency","score":0.3853999972343445},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.37929999828338623},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.36970001459121704}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8791000247001648},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7659000158309937},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7422000169754028},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6787999868392944},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6309000253677368},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.5974000096321106},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5633000135421753},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.45179998874664307},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.414900004863739},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.3853999972343445},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.37929999828338623},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3504999876022339},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.34689998626708984},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.3433000147342682},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.3296000063419342},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.3231000006198883},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.32010000944137573},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.3199000060558319},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3188000023365021},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.3156999945640564},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.3107999861240387},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3077000081539154},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2915000021457672},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.27459999918937683},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.2727999985218048},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.27079999446868896},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.26930001378059387},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.26330000162124634},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.26269999146461487},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.2597000002861023},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.2590999901294708},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.257099986076355}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3794763.3794793","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3794763.3794793","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3794763.3794793","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3794763.3794793","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W2115309705","https://openalex.org/W2121896262","https://openalex.org/W2171037318","https://openalex.org/W2171480813","https://openalex.org/W2293624369","https://openalex.org/W2998259759","https://openalex.org/W3164045210","https://openalex.org/W4393342165","https://openalex.org/W4410537194","https://openalex.org/W4413679657"],"related_works":[],"abstract_inverted_index":{"Formal":[0],"verification":[1],"of":[2,120],"concurrent":[3,75,126],"programs":[4,77],"is":[5],"essential":[6],"in":[7,41,74,103],"mission-critical":[8],"domains,":[9],"where":[10],"deadlocks":[11],"and":[12,27,118],"concurrency":[13],"bugs":[14],"can":[15],"cause":[16],"catastrophic":[17],"failures.":[18],"However,":[19],"traditional":[20],"model-checking":[21],"approaches":[22],"face":[23],"severe":[24],"scalability":[25,117],"issues":[26],"often":[28],"rely":[29],"on":[30,57,94],"static":[31],"slicing":[32,82],"techniques":[33],"that":[34,110],"fail":[35],"to":[36,62],"capture":[37],"semantic":[38,81],"dependencies,":[39],"resulting":[40],"large,":[42],"non-executable":[43],"slices.":[44,67],"This":[45,68],"paper":[46],"introduces":[47],"a":[48,91,95],"novel":[49],"method":[50],"leveraging":[51],"large":[52],"language":[53],"models":[54],"(LLMs)":[55],"pre-trained":[56],"Java":[58,76,88],"bytecode,":[59],"specifically":[60],"byteBERT,":[61],"generate":[63],"precise,":[64],"executable":[65,104],"program":[66],"approach":[69],"enables":[70],"efficient":[71],"deadlock":[72],"detection":[73],"by":[78],"combining":[79],"LLM-driven":[80],"with":[83],"rigorous":[84],"model":[85],"checking":[86],"via":[87],"Pathfinder.":[89],"Through":[90],"case":[92],"study":[93],"code":[96],"repository,":[97],"we":[98],"demonstrate":[99],"an":[100],"87%":[101],"reduction":[102],"slice":[105],"size.":[106],"The":[107],"results":[108],"indicate":[109],"bytecode-trained":[111],"LLMs":[112],"substantially":[113],"enhance":[114],"both":[115],"the":[116],"precision":[119],"automated":[121],"software":[122],"test":[123],"workflows":[124],"for":[125],"systems.":[127]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2026-07-30T00:00:00"}