Skip to content
@mc-imperial

Multicore Group, Imperial College London

Popular repositories Loading

  1. jfs jfs Public

    Constraint solver based on coverage-guided fuzzing

    C++ 243 20

  2. gpuverify gpuverify Public

    GPUVerify: a Verifier for GPU Kernels

    C# 59 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 28 11

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

    A multicore microprocessor test harness for measuring interference

    C 14 3

  6. dredd dredd Public

    A mutation testing tool designed to work with large C++ (and C) codebases.

    C++ 13 3

Repositories

Showing 10 of 45 repositories
  • dredd Public

    A mutation testing tool designed to work with large C++ (and C) codebases.

    C++ 13 Apache-2.0 3 19 7 Updated Feb 12, 2025
  • modelcheckingfutexes Public

    Promela models of futex-based synchronisation primitives.

    C 1 Apache-2.0 0 0 0 Updated Jan 20, 2025
  • dredd-webgpu-testing Public

    Scripts to apply the Dredd mutation testing framework to the WebGPU CTS

    Python 0 Apache-2.0 0 0 0 Updated Dec 10, 2024
  • dredd-compiler-testing Public

    Scripts to allow the Dredd mutation testing framework to be used for compiler testing

    Python 1 Apache-2.0 1 12 2 Updated Oct 3, 2024
  • llvm-legacy Public

    Old versions of Clang/LLVM, patched so that they can be built using more recent compilers

    0 Apache-2.0 2 1 0 Updated Aug 22, 2024
  • build-clang Public

    Scripts for building Clang/LLVM

    Shell 0 Apache-2.0 0 0 0 Updated Jul 4, 2024
  • jfs Public

    Constraint solver based on coverage-guided fuzzing

    C++ 243 MIT 20 34 0 Updated Nov 28, 2023
  • spirv-control-flow Public

    Formal modelling of SPIR-V control flow using Alloy

    Python 3 Apache-2.0 0 37 0 Updated Feb 7, 2023
  • hypothesis-ecoop-2020-artifact Public

    Artifact associated with ECOOP 2020 paper

    Python 2 0 0 8 Updated Dec 8, 2022
  • jfs-fse-2019-artifact Public
    SMT 0 0 0 5 Updated Dec 8, 2022
View all repositories