Multicore Group, Imperial College London

bugle Public
An LLVM Bitcode to Boogie translator

C++ 7 4 0 1 Updated Feb 2, 2022
gpuverify Public
GPUVerify: a Verifier for GPU Kernels

C# 40 12 13 2 Updated Feb 2, 2022
hypothesis-ecoop-2020-artifact Public
Artifact associated with ECOOP 2020 paper

Python 1 0 0 7 Updated Jan 21, 2022
ShaderTests Public

GLSL 0 Apache-2.0 2 0 89 Updated Jan 7, 2022
sctbench Public
SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.

C 18 MIT 7 1 0 Updated Dec 16, 2021
jfs-fse-2019-artifact Public

SMT 0 0 0 3 Updated Jun 1, 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 moment. Please submit your patches at http://reviews.llvm.org.

0 4,801 0 0 Updated Mar 3, 2021
multicore-test-harness Public
A multicore microprocessor test harness for measuring interference

C 11 MIT 4 0 0 Updated Apr 16, 2020
get-image-glsl Public
Produce a PNG image from a GLSL fragment shader

C 0 MIT 2 1 0 Updated Dec 18, 2019
jfs Public
Constraint solver based on coverage-guided fuzzing

C++ 223 MIT 17 34 0 Updated Sep 5, 2019

Popular repositories