A set of programs with concurrency bugs and their descriptions. See Experience with a concurrency bugs benchmark for more details.
Note: The use of this benchmark is allowed for academic purposes only. Download of the benchmark is for personal use only. It is not allowed to distribute this benchmark further or make it publically available from any other location.