Name: Mike Rainey
Type: User
Company: Carnegie Mellon University
Bio: I do research primarily at the intersection of programming languages and parallel computing.
Location: Pittsburgh, PA, USA
Blog: http://mike-rainey.site
Mike Rainey's Projects
Experiment in extending free-generators with new generators, e.g., typed lambda calculus with algebraic data types.
GBBS: Graph Based Benchmark Suite
Experimental framework for heartbeat scheduling.
Ligra: A Lightweight Graph Processing Framework for Shared Memory
A small C++ library containing various algorithms and data structures that are used by load-balancing schedulers for green threads
Nautilus Aerokernel
A store of nix build scripts for my various projects.
NOELLE Offers Empowering LLVM Extensions
Parallel Balanced Binary Tree Structures
ParlayLib - A Toolkit for Programming Parallel Algorithms on Shared-Memory Multicore Machines
New version of pbbs benchmarks
A collection of command-line tools and an Ocaml library for benchmarking applications
Compiler and runtime support for our (experimental) rollforward technique
Task-parallel runtime system: A C++ library to support task parallelism on multicore platforms
Task-parallel assembly language