• 16 Aug, 2024 Verifying effectful higher-order programs with staged logic
• 31 Dec, 2023 Choreographic PlusCal
• 28 Nov, 2023 Self-send projection
• 1 Aug, 2023 Jump-to-definition in PL papers
• 3 Jun, 2023 Ordering events across live loops in Sonic Pi
• 16 May, 2022 Trees with holes
• 21 Mar, 2021 Visualizing Z3's proofs
• 7 Feb, 2021 Pretty stack-and-heap diagrams
• 29 Sep, 2020 Mouseover Minesweeper
• 30 Jul, 2020 Transparent iOS backups
• 25 Nov, 2017 Bags of puzzle pieces in ASP