Skip to content

@mc-imperial Multicore Group, Imperial College London

Change the repository type filter

All

    Repositories list

    46 repositories

    • dredd-webgpu-testing

      Public
      Scripts to apply the Dredd mutation testing framework to the WebGPU CTS
      JavaScript
      •
      Apache License 2.0
      •0•0•1•0•Updated Feb 16, 2026Feb 16, 2026

    • dredd

      Public
      A mutation testing tool designed to work with large C++ (and C) codebases.
      mutation-testingtesting-tools
      C++
      •
      Apache License 2.0
      •3•13•19•7•Updated Oct 28, 2025Oct 28, 2025

    • wgsl-fuzz

      Public
      Technology for fuzzing tooling for the WebGPU shading language
      Kotlin
      •
      Apache License 2.0
      •2•1•34•2•Updated Oct 23, 2025Oct 23, 2025

    • modelcheckingfutexes

      Public
      Promela models of futex-based synchronisation primitives.
      C
      •
      Apache License 2.0
      •0•1•0•0•Updated Jan 20, 2025Jan 20, 2025

    • dredd-compiler-testing

      Public
      Scripts to allow the Dredd mutation testing framework to be used for compiler testing
      Python
      •
      Apache License 2.0
      •1•1•12•2•Updated Oct 3, 2024Oct 3, 2024

    • llvm-legacy

      Public
      Old versions of Clang/LLVM, patched so that they can be built using more recent compilers
      Apache License 2.0
      •2•0•1•0•Updated Aug 22, 2024Aug 22, 2024

    • build-clang

      Public
      Scripts for building Clang/LLVM
      Shell
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 4, 2024Jul 4, 2024

    • jfs

      Public
      Constraint solver based on coverage-guided fuzzing
      llvmjitfuzzingsmtlibsmtlibv2z3constraint-solverlibfuzzerfloating-point-arithmeticcoverage-guided-fuzzing
      C++
      •
      MIT License
      •20•249•34•0•Updated Nov 28, 2023Nov 28, 2023

    • spirv-control-flow

      Public
      Formal modelling of SPIR-V control flow using Alloy
      Python
      •
      Apache License 2.0
      •0•4•37•0•Updated Feb 7, 2023Feb 7, 2023

    • hypothesis-ecoop-2020-artifact

      Public
      Artifact associated with ECOOP 2020 paper
      Python
      •0•2•0•8•Updated Dec 8, 2022Dec 8, 2022

    • jfs-fse-2019-artifact

      Public
      SMT
      •0•0•0•5•Updated Dec 8, 2022Dec 8, 2022

    • gpuverify

      Public
      GPUVerify: a Verifier for GPU Kernels
      C#
      •
      Other
      •18•74•12•0•Updated Jul 28, 2022Jul 28, 2022

    • remove-parens

      Public
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 7, 2022Jun 7, 2022

    • ShaderTests

      Public
      GLSL
      •
      Apache License 2.0
      •2•0•0•17•Updated Mar 18, 2022Mar 18, 2022

    • bugle

      Public
      An LLVM Bitcode to Boogie translator
      C++
      •
      Other
      •4•11•0•0•Updated Mar 13, 2022Mar 13, 2022

    • sctbench

      Public
      SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
      C
      •
      MIT License
      •12•33•2•0•Updated Dec 16, 2021Dec 16, 2021

    • llvm-project

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this …
      16k•0•0•0•Updated Mar 3, 2021Mar 3, 2021

    • multicore-test-harness

      Public
      A multicore microprocessor test harness for measuring interference
      C
      •
      MIT License
      •3•14•0•0•Updated Apr 16, 2020Apr 16, 2020

    • get-image-glsl

      Public
      Produce a PNG image from a GLSL fragment shader
      openglglslopengl-es
      C
      •
      MIT License
      •2•0•1•0•Updated Dec 18, 2019Dec 18, 2019

    • csmith-hypothesis

      Public
      Csmith, a random generator of C programs
      C++
      •
      Other
      •167•0•0•0•Updated Feb 22, 2019Feb 22, 2019

    • ogltesting-binaries

      Public
      A Maven package containing the binaries used in the Graphics Fuzz project.
      Shell
      •
      MIT License
      •0•0•0•0•Updated Oct 10, 2018Oct 10, 2018

    • graphicsfuzz

      Public
      Java
      •
      MIT License
      •0•2•0•0•Updated Jul 30, 2018Jul 30, 2018

    • GPUVerifyBenchmarks

      Public
      Public GPUVerify Benchmarks
      C
      •1•1•0•0•Updated May 16, 2018May 16, 2018

    • mesa-coverage

      Public
      Mesa builds to obtain code coverage
      Shell
      •0•0•0•0•Updated Apr 30, 2018Apr 30, 2018

    • get-image-egl

      Public
      C
      •
      MIT License
      •1•1•0•0•Updated Apr 11, 2018Apr 11, 2018

    • shader-compiler-bugs

      Public
      A collection of shader compiler bugs.
      Assembly
      •
      MIT License
      •9•49•27•1•Updated Mar 21, 2018Mar 21, 2018

    • original-shaders

      Public
      A collection of shaders to use as original shaders.
      GLSL
      •
      MIT License
      •0•0•0•0•Updated Dec 2, 2017Dec 2, 2017

    • tsan11

      Public
      C++
      •0•1•0•0•Updated Oct 27, 2017Oct 27, 2017

    • get-image-spv

      Public
      Get image using Vulkan
      C++
      •
      MIT License
      •2•0•0•0•Updated Sep 18, 2017Sep 18, 2017

    • get-image-glfw

      Public
      A tool for rendering a fragment shader to a PNG file.
      C
      •
      MIT License
      •0•0•0•0•Updated Aug 5, 2017Aug 5, 2017