Synthesizing Precise Static Analyzers for Automatic Differentiation. - Jacob Laurel; Siyuan Brant Qian; Gagandeep Singh 001; Sasa Misailovic (Proc. ACM Program. Lang., 2023)