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.SE2025
VeriFix: Verifying Your Fix Towards An Atomicity Violation
Zhuang Li, Qiuping Yi, Jeff Huang
Atomicity violation is one of the most serious types of bugs in concurrent programs. Synchronizations are commonly used to enforce atomicity. However, it is very challenging to pla…