Pinned Repositories
detflow
gibbon
A compiler for functional programs on serialized data
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.
lvars
The LVish Haskell library
pbbs
An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top
popl18-lh-prover-artifact
Artifact for "Towards Complete Verification via SMT"
ShadowGuard
Low(er) Overhead Shadow Stack Implementation using Binary Static Analysis
verified-instances
Verified instances for parallel programming.
IU Parfunc Academic Group Account's Repositories
iu-parfunc/gibbon
A compiler for functional programs on serialized data
iu-parfunc/lvars
The LVish Haskell library
iu-parfunc/HSBencher
General benchmarking framework. Especially good at parameter studies.
iu-parfunc/liteinst
Runtime application probing with lightweight binary instrumentation. Related to PLDI17.
iu-parfunc/ShadowGuard
Low(er) Overhead Shadow Stack Implementation using Binary Static Analysis
iu-parfunc/verified-instances
Verified instances for parallel programming.
iu-parfunc/popl18-lh-prover-artifact
Artifact for "Towards Complete Verification via SMT"
iu-parfunc/detflow
iu-parfunc/pbbs
An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top
iu-parfunc/BintreeShootout
A simple microbenchmark for tree traversals
iu-parfunc/compile-o-rama
Dockerfile and or Nix expressions for building a whole bunch of compilers. Good starting point for microbenchmarking.
iu-parfunc/detmonad-benchdata
iu-parfunc/forkbench
A simple, standalone parfib-like benchmark.
iu-parfunc/pldi2014-artifact
The artifact-evaluation bundle for "Taming the Parallel Effect Zoo" (PLDI 2014)
iu-parfunc/bazel
a fast, scalable, multi-language and extensible build system
iu-parfunc/bazel-dettrace-examples
Interesting test cases for Bazel + dettrace
iu-parfunc/bwa
Burrow-Wheeler Aligner for pairwise alignment between DNA sequences
iu-parfunc/callcc_bench
Simple continuation capture microbenchmarks
iu-parfunc/detbox-project
Website for the overarching detbox project.
iu-parfunc/ecoop24-marmoset-artifact
Marmoset: Artifact submission for ECOOP 2024
iu-parfunc/flrc
Haskell Research Compiler
iu-parfunc/GADTRemover
Migrating from github.iu.edu/mcimini
iu-parfunc/hermit
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
iu-parfunc/hmmer_hacks
Patches against hmmer
iu-parfunc/jenkins-pipelines-demo
Repo for testing Jenkins pipelines
iu-parfunc/misc_bibliography
Some latex templates and a big pile of bibtex.
iu-parfunc/nix-install-scripts
Scripts and Dockerfiles that install nix in various ways.
iu-parfunc/prof_apps
Profiling apps
iu-parfunc/showtime
An implementation and verification of the showtime algorithm
iu-parfunc/splash_hacks
patches to splash to tweak makefiles etc