INSTA: An Ultra-Fast, Differentiable, Statistical Static Timing Analysis Engine for Industrial Physical Design Applications. - Yi-Chen Lu; Zhizheng Guo; Kishor Kunal; Rongjian Liang; Haoxing Ren (DAC, 2025)