http://multicore.doc.ic.ac.uk/
Multicore Group, Imperial College London
Constraint solver based on coverage-guided fuzzing
mc-imperial
GPUVerify: a Verifier for GPU Kernels
SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
A collection of shader compiler bugs.
