11 citations · 11 across the 4 of their papers we have counts for
1 paper · 1 filter
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…