Explore @mc-imperial Open Source projects

Multicore Group, Imperial College London (@mc-imperial)

mc-imperial

Stars
441
Global Org. Rank 25,763 (Top 9 %)
Registered over 10 years ago
Most used languages

C++
34.8 %

C
17.4 %

Java
13.0 %

Python
13.0 %

C#
8.7 %

Shell
8.7 %

Assembly
4.3 %

jfs

Constraint solver based on coverage-guided fuzzing

gpuverify

GPUVerify: a Verifier for GPU Kernels

shader-compiler-bugs

A collection of shader compiler bugs.

sctbench

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

multicore-test-harness

A multicore microprocessor test harness for measuring interference

dredd

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

bugle

An LLVM Bitcode to Boogie translator

chauffeur

Clang AST frontend for Linux device driver analysis

VkFuzzer

A fuzzer for the Vulkan API

boogie-mirror

This is a READ ONLY git mirror of the Microsoft Boogie project ( http://boogie.codeplex.com/ )

gpu_discovery_barrier

An implementation of a workgroup occupancy discovery protocol and an inter-workgroup barrier. Also example applications.

gvki

GPUVerify OpenCL Kernel Interceptor

hypothesis-ecoop-2020-artifact

Artifact associated with ECOOP 2020 paper

spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy

get-image

A tool for rendering a fragment shader to a PNG.

graphicsfuzz

GPUVerifyBenchmarks

Public GPUVerify Benchmarks

thrift-build

Automated building for thrift.

thrift-compiler-binary

The thrift compiler binary as a maven package.

libgdx-get-image

A tool for rendering a fragment shader on Android.

tsan11

get-image-egl

shrinkfuzz

An experimental fuzzer based on test case reduction against particular outputs