5 citations · 14 across the 8 of their papers we have counts for
1 paper · 2 filters
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…