ben blum bblum
Dropbox
Seattle, WA, USA
twitter.com/bblum0
concurrency wizard ・ client sync @ dropbox ・ cmu phd ・ they/them
the landslide codebase (old simics version)
stateless model checking for thread libraries, kernels, and transactional memory
stuff I have done for sigbovik -- http://sigbovik.org
kanji learning order generator
Advent of Code
static context checking for kernel codebases
a chess engine i wrote
Version of landslide for students to use.
test cases we studence wrote in the F10 semester of 15-411
more