2 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
Peizun Liu, Thomas Wahl
A classical result by Ramalingam about synchronization-sensitive interprocedural program analysis implies that reachability for concurrent threads running recursive procedures is u…