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