1. Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22
2. You Only Linearize Once: Tangents Transpose to Gradients;Proceedings of the ACM on Programming Languages;2023-01-09
3. Combinatory Adjoints and Differentiation;Electronic Proceedings in Theoretical Computer Science;2022-06-30
4. Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation;Proceedings of the ACM on Programming Languages;2022-01-12
5. Exact Linear Reduction for Rational Dynamical Systems;Computational Methods in Systems Biology;2022