Our paper is accepted to OOPSLA 2023! 
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!
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!