Seattle, WA

Zachary Tatlock

Elite
@ztatlock

Associate Professor, UW Allen School (CSE)

ztatlock.net

2024-marktoberdorf-egglog. Mini egglog in Python

10

crosscut. Standard ML

3

algorithmic-software-verification. Course Materials for Graduate Class on Algorithmic Software Verification

1

clip.

1

spark. HTML5 music player

1

vapor.cab. vapor.cab

1

boxer. punch card programming

1

dotfiles. configurations

1

pec. OCaml

1
9
Apply