Mai Jacob Peng, William S. Moses, Oleksandr Zinenko, Christophe Dubach. Sound and Modular Activity Analysis for Automatic Differentiation in MLIR. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):2087-2114, 2025. [doi]
Abstract is missing.