Post

Roly Perera
@dynamicaspects.org

New preprint with Robert Atkey. This paper recasts Galois slicing (a program slicing technique) as a kind of automatic differentiation, with lattices of slices corresponding to tangent spaces, and forward and backward slicing corresponding to forward- and reverse-mode AD. arxiv.org/abs/2511.09203

arxiv.orgGalois Slicing as Automatic DifferentiationGalois slicing is a technique for program slicing for provenance, developed by Perera and collaborators. Galois slicing aims to explain program executions by demonstrating how to track approximations ...
Roly Perera
@dynamicaspects.org

Disclaimer: this paper was entirely Bob's insight and methodology. For me it was primarily a learning experience (and a very enjoyable one)!

0 reposts1 like

No replies yet.