www/papers/eurobsd2012/guenther-rthreads