Our paper on synthesizing static analyzers for differentiable programs will appear at OOPSLA 2023!