iu-parfunc/verified-instances

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 8 years ago
Updated over 5 years ago

iu-parfunc/verified-instances

iu-parfunc

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

Verified instances for parallel programming.

gibbon

A compiler for functional programs on serialized data

lvars

The LVish Haskell library

haskell_dsl_tour

Examples of relevant technologies for implementing DSLs in Haskell.

HSBencher

General benchmarking framework. Especially good at parameter studies.

liteinst

Runtime application probing with lightweight binary instrumentation. Related to PLDI17.

ShadowGuard

Low(er) Overhead Shadow Stack Implementation using Binary Static Analysis

popl18-lh-prover-artifact

Artifact for "Towards Complete Verification via SMT"

detflow

sc-haskell

A survey on the topic of sequentially consistent Haskell.

AutoObsidian

Autotuning and Obsidian

superaccumulators

Commutative, associative floating-point operations

pbbs

An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top

isoref-sketch

Sketching out ideas for isolated references.

accelerack

C Bindings for Accelerate, Racket Frontend to Accelerate

BintreeShootout

A simple microbenchmark for tree traversals

concurrent_cilk

This is the libcilkrts directory ONLY, extended with the Concurrent Cilk implementation. It is SUBTREE MERGED into the large gcc repo. See here: https://github.com/iu-parfunc/gcc

haskell-hpx

Haskell bindings to the HPX library.

detmonad-benchdata

accelerate-redex

A PLT Redex model for the Accelerate language.

bindings-hpx

Haskell bindings for the HPX library

compile-o-rama

Dockerfile and or Nix expressions for building a whole bunch of compilers. Good starting point for microbenchmarking.

tslogger

thread-safe logging

forkbench

A simple, standalone parfib-like benchmark.

array-dsl-benchmarks

A benchmark suite across multiple array DSLs, covering CPUs and GPUss

pldi2014-artifact

The artifact-evaluation bundle for "Taming the Parallel Effect Zoo" (PLDI 2014)

cnf-mutable-tests