A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code. - Ho Young Jhoo; Sehoon Kim; Woosung Song; Kyuyeon Park; DongKwon Lee; Kwangkeun Yi (ICSE-Companion, 2022)