bblum
programming languages and concurrency・client sync @ dbx・cmu phd・they/them
dropboxpittsburgh, pa, usa
Pinned Repositories
aoc
Advent of Code
atomic-all-nighters
static context checking for kernel codebases
bistromath
a chess engine i wrote
landslide
stateless model checking for thread libraries, kernels, and transactional memory
landslide-old
Version of landslide for students to use.
landslide-simics
the landslide codebase (old simics version)
oopsla-quicksand
just a little something i made for oopsla
sigbovik
stuff I have done for sigbovik -- http://sigbovik.org
Simply-Love-SM5
a StepMania 5 theme for the post-ITG community
wordle
automatic solver for the hit game "hello wordl"
bblum's Repositories
bblum/landslide-simics
the landslide codebase (old simics version)
bblum/landslide
stateless model checking for thread libraries, kernels, and transactional memory
bblum/sigbovik
stuff I have done for sigbovik -- http://sigbovik.org
bblum/wordle
automatic solver for the hit game "hello wordl"
bblum/aoc
Advent of Code
bblum/atomic-all-nighters
static context checking for kernel codebases
bblum/bistromath
a chess engine i wrote
bblum/landslide-old
Version of landslide for students to use.
bblum/oopsla-quicksand
just a little something i made for oopsla
bblum/Simply-Love-SM5
a StepMania 5 theme for the post-ITG community
bblum/15411-tests
test cases we studence wrote in the F10 semester of 15-411
bblum/cyclotron
bblum/golf-horse
a foray into the kolmogorov complexity of english word lists
bblum/Halide
a language for image processing and computational photography
bblum/netrunnerdb
A Deckbuilder for Android:Netrunner LCG
bblum/oopsla-dataset
just a big something i made for oopsla
bblum/papers
serious research papers
bblum/pintos
CS162 skeleton code for group projects.
bblum/related-work
Brief accountings of related research papers I read.
bblum/rust
a safe, concurrent, practical language
bblum/rust-lambda-calculus
silly implementation of lambda calculus in rust
bblum/shuffler
card shuffling visualisation
bblum/talks
slides for talks and lectures I have given
bblum/thesis
landslide master's thesis and related talks
bblum/thesis-htm-logs