Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. - DongKwon Lee; Woosuk Lee; Hakjoo Oh; Kwangkeun Yi (PLDI, 2020)

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)

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. - DongKwon Lee; Woosuk Lee; Hakjoo Oh; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2023)