13 citations · 13 across the 9 of their papers we have counts for
1 paper · 1 filter
Ao Li, Byeongjee Kang, Vasudev Vikram +4
Concurrency bugs are hard to discover and reproduce. Prior work has developed sophisticated algorithms to search for concurrency bugs, such as partial order sampling (POS); however…