2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
Dynamic data race detection has emerged as a key technique for ensuring reliability of concurrent software in practice. However, dynamic approaches can often miss data races owing…