Synthesizing Precise Static Analyzers for Automatic Differentiation

Published in OOPSLA, 2023

Recommended citation: Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic, OOPSLA 2023. https://dl.acm.org/doi/abs/10.1145/3622867