5 citations · 14 across the 8 of their papers we have counts for
1 paper · 1 filter
Saurabh Joshi, Akash Lal
This paper presents a technique for automatically constructing a fix for buggy concurrent programs: given a concurrent program that does not satisfy user-provided assertions, we in…