10 citations · 23 across the 8 of their papers we have counts for
1 paper · 2 filters
Remi Bonnet, Rohit Chadha, Mahesh Viswanathan +1
The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of the progr…