mikerainey
I do research primarily at the intersection of programming languages and parallel computing.
Carnegie Mellon UniversityPittsburgh, PA, USA
Pinned Repositories
chunkedseq-notes
elastic-work-stealing
free-generators
Experiment in extending free-generators with new generators, e.g., typed lambda calculus with algebraic data types.
gbbs
GBBS: Graph Based Benchmark Suite
heartbeat
Experimental framework for heartbeat scheduling.
ligra
Ligra: A Lightweight Graph Processing Framework for Shared Memory
mcsl
A small C++ library containing various algorithms and data structures that are used by load-balancing schedulers for green threads
rollforward
Compiler and runtime support for our (experimental) rollforward technique
taskparts
Task-parallel runtime system: A C++ library to support task parallelism on multicore platforms
tpal
Task-parallel assembly language
mikerainey's Repositories
mikerainey/taskparts
Task-parallel runtime system: A C++ library to support task parallelism on multicore platforms
mikerainey/rollforward
Compiler and runtime support for our (experimental) rollforward technique
mikerainey/tpal
Task-parallel assembly language
mikerainey/chunkedseq-notes
mikerainey/elastic-work-stealing
mikerainey/free-generators
Experiment in extending free-generators with new generators, e.g., typed lambda calculus with algebraic data types.
mikerainey/gbbs
GBBS: Graph Based Benchmark Suite
mikerainey/heartbeat
Experimental framework for heartbeat scheduling.
mikerainey/ligra
Ligra: A Lightweight Graph Processing Framework for Shared Memory
mikerainey/mcsl
A small C++ library containing various algorithms and data structures that are used by load-balancing schedulers for green threads
mikerainey/monad-par
mikerainey/nautilus
Nautilus Aerokernel
mikerainey/nix-packages
A store of nix build scripts for my various projects.
mikerainey/noelle
NOELLE Offers Empowering LLVM Extensions
mikerainey/PAM
Parallel Balanced Binary Tree Structures
mikerainey/parlaylib
ParlayLib - A Toolkit for Programming Parallel Algorithms on Shared-Memory Multicore Machines
mikerainey/pbbsbench
New version of pbbs benchmarks
mikerainey/pbbslib
mikerainey/pbench
A collection of command-line tools and an Ocaml library for benchmarking applications
mikerainey/tplang