compiler-testing

Variation of american fuzzy lop for testing compilers

metatrace is a C++ Compile Time, Whitted Style Ray Tracer, utilizing classic C++98/03 style metaprogramming. All the Ray Tracing is done during compilation.

Effect-Driven Compiler Tester for OCaml

SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)

Differential fuzzer for quantum compilers. Found the CommutativeCancellation soundness bug fixed in Qiskit 2.5.1.

The Berkeley Lab Flang team develops tests for the LLVM-Project Flang Fortran compiler. Because of the paramount importance of parallelism in high-performance computing, we are focusing on Fortran’s parallel features, commonly denoted "Coarray Fortran."

Sui Move Fuzzer: 884 move-specific MetaMut-style mutations, harness, dicts, utilities

Small test project to analyse RISC-V bitmanip extension

PTX interpreter (C++) + differential fuzzing, test-case reduction and Z3 translation validation of LLVM's NVPTX backend

Cross-platform Benchmarking Tool with Integrated System Metrics

Project Euler solutions in Flow, used as a compiler test suite. Expressive syntax, C-speed binaries.

Runs Triton kernels from their IR on the CPU and checks every launch (races, out-of-bounds, per-pass validation). Found silent torch.compile miscompiles without a GPU.

Systematic hunt for memory-safety defects in the Nitpick compiler: an exhaustive grid of owning types × places × operations, run at -O0 and -O2, with a recall gate that must re-find every known defect first.

CUDA compiler test suite: 6 programs x 10 nvcc/ptxas configs, ULP/error-bound checks, differential + PTX codegen tests

Fuzzing framework for sparse tensor compilers — first open-source implementation of TENSURE (NDSS Fuzzing Workshop 2026). Finds crashes and silent miscompilations via constraint-based einsum generation and metamorphic testing.

C language code generator, for creating compiler test cases.

Behavioral-equivalence testing methodology: scenario inventories, differential oracles, and when equivalence testing explodes combinatorially

Fuzzing for the Turf compiler, kept separate from the compiler repo. Findings are minimized and promoted to regression tests.

Differential testing of NVIDIA's Slang shader compiler across Metal, MoltenVK and KosmicKrisp on Apple Silicon — found 2 Slang miscompiles (with a verified fix) and 1 KosmicKrisp miscompile

Open-source differential testing, automated failure minimization, and reproducible regression analysis for JAX, OpenXLA, and ML compilers