2 papers
cs.SE2026
An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor
Zhuang Li, Qiuping Yi, Keyang Xiao +2
With the rise of multi-core processors and distributed systems, concurrent programming has become essential yet challenging, primarily due to the non-deterministic nature of thread…
cs.CR2025
LeakGuard: Detecting Memory Leaks Accurately and Scalably
Hongliang Liang, Luming Yin, Guohao Wu +3
Memory leaks are prevalent in various real-world software projects, thereby leading to serious attacks like denial-of-service. Though prior methods for detecting memory leaks made…