Discover mc-imperial/gpu_discovery_barrier Open Source project

Stars
4
Rank 3,304,323 (Top 66 %)
Language
C++
Created about 8 years ago
Updated about 8 years ago

mc-imperial

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

jfs

Constraint solver based on coverage-guided fuzzing

C++

239

gpuverify

GPUVerify: a Verifier for GPU Kernels

shader-compiler-bugs

A collection of shader compiler bugs.

Assembly

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.

C++

bugle

An LLVM Bitcode to Boogie translator

C++

chauffeur

Clang AST frontend for Linux device driver analysis

C++

VkFuzzer

A fuzzer for the Vulkan API

Java

boogie-mirror

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

gvki

GPUVerify OpenCL Kernel Interceptor

C++

hypothesis-ecoop-2020-artifact

Artifact associated with ECOOP 2020 paper

Python

spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy

Python

get-image

A tool for rendering a fragment shader to a PNG.

C++

graphicsfuzz

Java

GPUVerifyBenchmarks

Public GPUVerify Benchmarks

thrift-build

Automated building for thrift.

Shell

thrift-compiler-binary

The thrift compiler binary as a maven package.

Shell

libgdx-get-image

A tool for rendering a fragment shader on Android.

Java

tsan11

C++

get-image-egl

shrinkfuzz

An experimental fuzzer based on test case reduction against particular outputs

Python

mc-imperial/gpu_discovery_barrier

mc-imperial

Reviews

Repository Details

More Repositories