Multicore Group, Imperial College London

Popular repositories

1. jfs Public

   Constraint solver based on coverage-guided fuzzing

   C++ 224 17

2. shader-compiler-bugs Public

   A collection of shader compiler bugs.

   Assembly 47 8

3. gpuverify Public

   GPUVerify: a Verifier for GPU Kernels

   C# 45 14

4. sctbench Public

   SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.

   C 22 9

5. multicore-test-harness Public

   A multicore microprocessor test harness for measuring interference

   C 13 3

6. bugle Public

   An LLVM Bitcode to Boogie translator

   C++ 9 4