Compiling a benchmark of documented multi-threaded bugs | IEEE Conference Publication | IEEE Xplore