SMT-Based Translation Validation for Machine Learning Compiler. - Seongwon Bang; Seunghyeon Nam; Inwhan Chun; Ho Young Jhoo; Juneyoung Lee (CAV (2), 2022)

A 2pA/√Hz Current-Conveyor-Assisted Ultrasound Receiver with 25pF CMUT Parasitic Capacitance. - Gichan Yun; Kyeongwon Jeong; Haidam Choi; Seunghyeon Nam; Chaerin Oh; Hyunjoo Jenny Lee; Sohmyung Ha; Minkyu Je (A-SSCC, 2023)

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)