Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh 0001, Sasa Misailovic. Synthesizing Precise Static Analyzers for Automatic Differentiation. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1964-1992, October 2023. [doi]
Abstract is missing.