ben blum bblum Dropbox Seattle, WA, USA concurrency wizard ・ client sync @ dropbox ・ cmu phd ・ they/them

bblum/landslide-simics 8

the landslide codebase (old simics version)

bblum/landslide 7

stateless model checking for thread libraries, kernels, and transactional memory

bblum/sigbovik 3

stuff I have done for sigbovik --

lynn/kanji 2

kanji learning order generator

bblum/atomic-all-nighters 1

static context checking for kernel codebases

bblum/bistromath 1

a chess engine i wrote

bblum/landslide-old 1

Version of landslide for students to use.

bblum/15411-tests 0

test cases we studence wrote in the F10 semester of 15-411

bblum/aoc 0

Advent of Code