Reachability in Binary Multithreaded Programs Is Polynomial.

Alexander Malkis, Steffen Borgwardt

Browse the full ICDCS paper archive.