Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs

Taythir G. Martin, Rodion Podorozhny, Shibbir Ahmed. Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs. In Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension, ICPC 2026, Rio de Janeiro, Brazil, April 12-13, 2026. pages 448-452, ACM, 2026. [doi]

Abstract

Abstract is missing.