• Stars
    star
    1
  • Language
    HTML
  • Created almost 11 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

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

More Repositories

1

gibbon

A compiler for functional programs on serialized data
C
157
star
2

lvars

The LVish Haskell library
Haskell
81
star
3

haskell_dsl_tour

Examples of relevant technologies for implementing DSLs in Haskell.
Haskell
14
star
4

HSBencher

General benchmarking framework. Especially good at parameter studies.
Haskell
13
star
5

liteinst

Runtime application probing with lightweight binary instrumentation. Related to PLDI17.
C++
9
star
6

verified-instances

Verified instances for parallel programming.
Haskell
8
star
7

ShadowGuard

Low(er) Overhead Shadow Stack Implementation using Binary Static Analysis
C++
8
star
8

popl18-lh-prover-artifact

Artifact for "Towards Complete Verification via SMT"
Haskell
6
star
9

detflow

Haskell
4
star
10

sc-haskell

A survey on the topic of sequentially consistent Haskell.
Haskell
3
star
11

AutoObsidian

Autotuning and Obsidian
Haskell
3
star
12

superaccumulators

Commutative, associative floating-point operations
Haskell
3
star
13

pbbs

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

isoref-sketch

Sketching out ideas for isolated references.
Haskell
2
star
15

accelerack

C Bindings for Accelerate, Racket Frontend to Accelerate
Racket
2
star
16

BintreeShootout

A simple microbenchmark for tree traversals
Racket
2
star
17

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
C++
2
star
18

haskell-hpx

Haskell bindings to the HPX library.
Haskell
2
star
19

detmonad-benchdata

Shell
1
star
20

accelerate-redex

A PLT Redex model for the Accelerate language.
Racket
1
star
21

bindings-hpx

Haskell bindings for the HPX library
Haskell
1
star
22

compile-o-rama

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

tslogger

thread-safe logging
Haskell
1
star
24

forkbench

A simple, standalone parfib-like benchmark.
C
1
star
25

array-dsl-benchmarks

A benchmark suite across multiple array DSLs, covering CPUs and GPUss
Haskell
1
star
26

cnf-mutable-tests

Haskell
1
star