How Good is Static Analysis at Finding Concurrency Bugs?

Devin Kester, Martin Mwebesa, Jeremy S. Bradbury

Browse the full SCAM paper archive.