mc-imperial/GPUVerifyBenchmarks

Stars
1
Language
C
Created over 6 years ago
Updated over 6 years ago

mc-imperial/GPUVerifyBenchmarks

mc-imperial

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

Public GPUVerify Benchmarks

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

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