17 citations · 24 across the 5 of their papers we have counts for
1 paper · 1 filter
Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna +2
While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We present an algorithm that avoids such regressions. The solution space is given by a…