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++ 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 27 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 3

Repositories

Showing 10 of 45 repositories
  • dredd Public

    Framework for evaluating C/C++ compiler testing tools

    mc-imperial/dredd’s past year of commit activity
    C++ 10 Apache-2.0 3 22 11 Updated Jun 17, 2024
  • dredd-webgpu-testing Public
    mc-imperial/dredd-webgpu-testing’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated May 22, 2024
  • modelcheckingfutexes Public

    Promela models of futex-based synchronisation primitives.

    mc-imperial/modelcheckingfutexes’s past year of commit activity
    Promela 0 Apache-2.0 0 0 0 Updated Dec 19, 2023
  • jfs Public

    Constraint solver based on coverage-guided fuzzing

    mc-imperial/jfs’s past year of commit activity
    C++ 240 MIT 20 34 0 Updated Nov 28, 2023
  • build-clang Public

    Scripts for building Clang/LLVM

    mc-imperial/build-clang’s past year of commit activity
    Shell 0 Apache-2.0 0 0 0 Updated Nov 26, 2023
  • dredd-compiler-testing Public

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

    mc-imperial/dredd-compiler-testing’s past year of commit activity
    Python 0 Apache-2.0 1 2 0 Updated Nov 26, 2023
  • llvm-legacy Public

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

    mc-imperial/llvm-legacy’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Apr 24, 2023
  • spirv-control-flow Public

    Formal modelling of SPIR-V control flow using Alloy

    mc-imperial/spirv-control-flow’s past year of commit activity
    Python 2 Apache-2.0 0 37 0 Updated Feb 7, 2023
  • hypothesis-ecoop-2020-artifact Public

    Artifact associated with ECOOP 2020 paper

    mc-imperial/hypothesis-ecoop-2020-artifact’s past year of commit activity
    Python 2 0 0 8 Updated Dec 8, 2022
  • jfs-fse-2019-artifact Public
    mc-imperial/jfs-fse-2019-artifact’s past year of commit activity
    SMT 0 0 0 5 Updated Dec 8, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…