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)

HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption. - Sunjae Park; Woosung Song; Seunghyeon Nam; Hyeongyu Kim; Junbum Shin; Juneyoung Lee (Proc. ACM Program. Lang., 2023)