Our paper on synthesizing static analyzers for Automatic Differentiation code will appear at OOPSLA 2023!

This is my very first publication, a milestone deserving of a unique celebration!