Popular repositories

1. jfs jfs Public

   Constraint solver based on coverage-guided fuzzing

   C++ 240 20

2. gpuverify gpuverify Public

   GPUVerify: a Verifier for GPU Kernels

   C# 57 15

3. shader-compiler-bugs shader-compiler-bugs Public

   A collection of shader compiler bugs.

   Assembly 49 9

4. sctbench sctbench Public

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

   C 26 11

5. multicore-test-harness multicore-test-harness Public

   A multicore microprocessor test harness for measuring interference

   C 13 3

6. dredd dredd Public

   Framework for evaluating C/C++ compiler testing tools

   C++ 10 2