21 citations · 37 across the 9 of their papers we have counts for
1 paper · 1 filter
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Correctness of multi-threaded programs typically requires that they satisfy liveness properties. For example, a program may require that no thread is starved of a shared resource,…