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/cv.html
https://ztatlock.net/demo-naive-union-find.html
https://ztatlock.net/
https://ztatlock.net/news.html
https://ztatlock.net/notes.html
https://ztatlock.net/proverbs-poems.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/2008-oopsla-dtar/
https://ztatlock.net/pubs/2009-pldi-pec/2009-pldi-pec.pdf
https://ztatlock.net/pubs/2009-pldi-pec/
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/2012-security-quark/
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/2019-conga-sinkingpoint/
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-arith-herbie/
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-iclr-dtr/
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-maps-glenside/
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-mlsys-nimble/
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-oopsla-ruler/
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/2021-sff-3dp/
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-ecoop-cakemlfp/
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-fmcad-smallproofs/
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-popl-rematch/
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/2022-tog-carpentry/
https://ztatlock.net/pubs/2023-oopsla-enumo/2023-oopsla-enumo-slides.pdf
https://ztatlock.net/pubs/2023-oopsla-enumo/2023-oopsla-enumo.pdf
https://ztatlock.net/pubs/2023-oopsla-enumo/
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-plarch-lakeroad/
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-pldi-egglog/
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-popl-babble/
https://ztatlock.net/pubs/2023-uist-odyssey/2023-uist-odyssey.pdf
https://ztatlock.net/pubs/2023-uist-odyssey/
https://ztatlock.net/pubs/2024-asplos-lakeroad/2024-asplos-lakeroad.pdf
https://ztatlock.net/pubs/2024-asplos-lakeroad/
https://ztatlock.net/pubs/2024-programming-magicmarkup/2024-programming-magicmarkup.pdf
https://ztatlock.net/pubs/2024-programming-magicmarkup/
https://ztatlock.net/pubs/
https://ztatlock.net/research.html
https://ztatlock.net/service.html
https://ztatlock.net/students/
https://ztatlock.net/sundial.html
https://ztatlock.net/talk-2023-05-egg-uiuc.html
https://ztatlock.net/talks/
https://ztatlock.net/teaching.html