https://audreyseo.github.io/publication/2018-11-02-abstractionless-programming 2018-11-02T00:00:00-07:00 https://audreyseo.github.io/publication/2019-10-19-enhancing-abstraction 2019-10-19T00:00:00-07:00 https://audreyseo.github.io/publication/2024-09-14-correctly-compiling-proofs 2024-09-14T00:00:00-07:00 https://audreyseo.github.io/ https://audreyseo.github.io/categories/ https://audreyseo.github.io/collection-archive/ https://audreyseo.github.io/page-archive/ https://audreyseo.github.io/portfolio/ https://audreyseo.github.io/publications/ https://audreyseo.github.io/sitemap/ https://audreyseo.github.io/tags/ https://audreyseo.github.io/markdown_generator/ https://audreyseo.github.io/files/blocks_and_beyond.pdf 2025-09-30T16:21:41-07:00 https://audreyseo.github.io/files/blocksplus18-paper19.pdf 2025-09-30T16:21:41-07:00 https://audreyseo.github.io/files/cv.pdf 2025-09-30T16:21:41-07:00 https://audreyseo.github.io/files/proof_compilers_itp_2024.pdf 2025-09-30T16:21:41-07:00 https://audreyseo.github.io/talkmap/map.html 2025-09-30T16:21:41-07:00