https://dennis.life/ 2026-07-20 1.00 https://dennis.life/images/portrait.webp 2022-01-01 0.90 https://dennis.life/pubs/cav26-burrow.pdf 2026-07-20 0.90 https://dennis.life/pubs/osdi26-qtpu.pdf 2026-07-20 0.90 https://dennis.life/pubs/asplos26-arancini.pdf 2026-07-20 0.90 https://dennis.life/pubs/asplos23-risotto.pdf 2023-02-16 0.90 https://dennis.life/pubs/pldi22-lasagne.pdf 2022-06-13 0.90 https://dennis.life/pubs/phd_thesis.pdf 2025-11-21 0.90 https://dennis.life/slides/cav26-burrow-talk.pdf 2026-07-20 0.80 https://dennis.life/notes/rust_ioc.pdf 2022-11-30 0.70 https://dennis.life/notes/lattice_galois.pdf 2022-08-01 0.70 https://dennis.life/notes/agda_circuits.pdf 2022-07-31 0.70 https://dennis.life/notes/monotonic_cost.pdf 2022-04-01 0.70 https://dennis.life/notes/docker_tutorial.pdf 2022-04-01 0.70