Talks

Programming for the Planet 2025
ICCS Summer School 2025
ICCS Summer School 2024
Programming for the Planet 2024
POPL 2022 presentation

Related Papers

Galois Slicing as Automatic Differentiation (preprint)
AI-Assisted Authoring for Transparent, Data-Driven Documents (preprint)
Cognacy Queries over Dependence Graphs for Transparent Visualisations (ESOP 2025)
Linked Visualisations via Galois Dependencies (POPL 2022)