https://ztatlock.net/404.html
https://ztatlock.net/about.html
https://ztatlock.net/anagram.html
https://ztatlock.net/anxiety-carts-horses.html
https://ztatlock.net/basic-advice.html
https://ztatlock.net/build-simple-first.html
https://ztatlock.net/calendar-theory.html
https://ztatlock.net/collaborators.html
https://ztatlock.net/contact.html
https://ztatlock.net/course-recipe.html
https://ztatlock.net/cv.html
https://ztatlock.net/demo-naive-union-find.html
https://ztatlock.net/games.html
https://ztatlock.net/index.html
https://ztatlock.net/news.html
https://ztatlock.net/notes.html
https://ztatlock.net/paper-recipe.html
https://ztatlock.net/proverbs-poems.html
https://ztatlock.net/pub-2008-oopsla-dtar.html
https://ztatlock.net/pub-2009-pldi-pec.html
https://ztatlock.net/pub-2012-security-quark.html
https://ztatlock.net/pub-2019-conga-sinkingpoint.html
https://ztatlock.net/pub-2021-arith-herbie.html
https://ztatlock.net/pub-2021-iclr-dtr.html
https://ztatlock.net/pub-2021-maps-glenside.html
https://ztatlock.net/pub-2021-mlsys-nimble.html
https://ztatlock.net/pub-2021-oopsla-ruler.html
https://ztatlock.net/pub-2021-sff-3dp.html
https://ztatlock.net/pub-2022-ecoop-cakemlfp.html
https://ztatlock.net/pub-2022-fmcad-smallproofs.html
https://ztatlock.net/pub-2022-popl-rematch.html
https://ztatlock.net/pub-2022-tog-carpentry.html
https://ztatlock.net/pub-2023-oopsla-enumo.html
https://ztatlock.net/pub-2023-plarch-lakeroad.html
https://ztatlock.net/pub-2023-pldi-egglog.html
https://ztatlock.net/pub-2023-popl-babble.html
https://ztatlock.net/pub-2023-uist-odyssey.html
https://ztatlock.net/pub-2024-asplos-lakeroad.html
https://ztatlock.net/pub-2024-programming-magicmarkup.html
https://ztatlock.net/publications.html
https://ztatlock.net/research.html
https://ztatlock.net/response-recipe.html
https://ztatlock.net/s-expressions.html
https://ztatlock.net/service.html
https://ztatlock.net/students.html
https://ztatlock.net/sundial.html
https://ztatlock.net/talk-2023-05-egg-uiuc.html
https://ztatlock.net/talk-recipe.html
https://ztatlock.net/talks.html
https://ztatlock.net/teaching.html
https://ztatlock.net/why-skepticism.html
https://ztatlock.net/pubs/2008-oopsla-dtar/2008-oopsla-dtar-poster.pdf
https://ztatlock.net/pubs/2008-oopsla-dtar/2008-oopsla-dtar.pdf
https://ztatlock.net/pubs/2009-pldi-pec/2009-pldi-pec.pdf
https://ztatlock.net/pubs/2012-security-quark/2012-security-quark-poster.pdf
https://ztatlock.net/pubs/2012-security-quark/2012-security-quark-slides.pdf
https://ztatlock.net/pubs/2012-security-quark/2012-security-quark.pdf
https://ztatlock.net/pubs/2019-conga-sinkingpoint/2019-conga-sinkingpoint-slides.pdf
https://ztatlock.net/pubs/2019-conga-sinkingpoint/2019-conga-sinkingpoint.pdf
https://ztatlock.net/pubs/2021-arith-herbie/2021-arith-herbie-slides.pdf
https://ztatlock.net/pubs/2021-arith-herbie/2021-arith-herbie.pdf
https://ztatlock.net/pubs/2021-iclr-dtr/2021-iclr-dtr-poster.pdf
https://ztatlock.net/pubs/2021-iclr-dtr/2021-iclr-dtr-slides.pdf
https://ztatlock.net/pubs/2021-iclr-dtr/2021-iclr-dtr.pdf
https://ztatlock.net/pubs/2021-maps-glenside/2021-maps-glenside-slides.pdf
https://ztatlock.net/pubs/2021-maps-glenside/2021-maps-glenside.pdf
https://ztatlock.net/pubs/2021-mlsys-nimble/2021-mlsys-nimble-slides.pdf
https://ztatlock.net/pubs/2021-mlsys-nimble/2021-mlsys-nimble.pdf
https://ztatlock.net/pubs/2021-oopsla-ruler/2021-oopsla-ruler-slides.pdf
https://ztatlock.net/pubs/2021-oopsla-ruler/2021-oopsla-ruler.pdf
https://ztatlock.net/pubs/2021-sff-3dp/2021-sff-3dp-slides.pdf
https://ztatlock.net/pubs/2021-sff-3dp/2021-sff-3dp.pdf
https://ztatlock.net/pubs/2022-ecoop-cakemlfp/2022-ecoop-cakemlfp-slides.pdf
https://ztatlock.net/pubs/2022-ecoop-cakemlfp/2022-ecoop-cakemlfp.pdf
https://ztatlock.net/pubs/2022-fmcad-smallproofs/2022-fmcad-smallproofs-slides.pdf
https://ztatlock.net/pubs/2022-fmcad-smallproofs/2022-fmcad-smallproofs.pdf
https://ztatlock.net/pubs/2022-popl-rematch/2022-popl-rematch-poster.pdf
https://ztatlock.net/pubs/2022-popl-rematch/2022-popl-rematch-slides.pdf
https://ztatlock.net/pubs/2022-popl-rematch/2022-popl-rematch.pdf
https://ztatlock.net/pubs/2022-tog-carpentry/2022-tog-carpentry-slides.pdf
https://ztatlock.net/pubs/2022-tog-carpentry/2022-tog-carpentry.pdf
https://ztatlock.net/pubs/2023-oopsla-enumo/2023-oopsla-enumo.pdf
https://ztatlock.net/pubs/2023-plarch-lakeroad/2023-plarch-lakeroad-slides.pdf
https://ztatlock.net/pubs/2023-plarch-lakeroad/2023-plarch-lakeroad.pdf
https://ztatlock.net/pubs/2023-pldi-egglog/2023-pldi-egglog-slides.pdf
https://ztatlock.net/pubs/2023-pldi-egglog/2023-pldi-egglog.pdf
https://ztatlock.net/pubs/2023-popl-babble/2023-popl-babble-slides.pdf
https://ztatlock.net/pubs/2023-popl-babble/2023-popl-babble.pdf
https://ztatlock.net/pubs/2023-uist-odyssey/2023-uist-odyssey.pdf
https://ztatlock.net/pubs/2024-asplos-lakeroad/2024-asplos-lakeroad.pdf
https://ztatlock.net/pubs/2024-programming-magicmarkup/2024-programming-magicmarkup.pdf