• Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    C++
  • Created almost 8 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

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

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

verified-instances

Verified instances for parallel programming.
Haskell
8
star
6

ShadowGuard

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

popl18-lh-prover-artifact

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

detflow

Haskell
4
star
9

sc-haskell

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

AutoObsidian

Autotuning and Obsidian
Haskell
3
star
11

superaccumulators

Commutative, associative floating-point operations
Haskell
3
star
12

pbbs

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

isoref-sketch

Sketching out ideas for isolated references.
Haskell
2
star
14

accelerack

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

BintreeShootout

A simple microbenchmark for tree traversals
Racket
2
star
16

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
17

haskell-hpx

Haskell bindings to the HPX library.
Haskell
2
star
18

detmonad-benchdata

Shell
1
star
19

accelerate-redex

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

bindings-hpx

Haskell bindings for the HPX library
Haskell
1
star
21

compile-o-rama

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

tslogger

thread-safe logging
Haskell
1
star
23

forkbench

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

array-dsl-benchmarks

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

pldi2014-artifact

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

cnf-mutable-tests

Haskell
1
star