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. Symbolic Disintegration with a Variety of Base Measures;ACM Transactions on Programming Languages and Systems;2020-05-27
3. Demystifying differentiable programming: shift/reset the penultimate backpropagator;Proceedings of the ACM on Programming Languages;2019-07-26
4. A typed, algebraic approach to parsing;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
5. Staged generic programming;Proceedings of the ACM on Programming Languages;2017-08-29