Preventing Concurrency Bugs from Causing Harm, Automatically
stefan-marr.de