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

Scheduled Disclosure: Turning Power into Timing Without Frequency Scaling. - Inwhan Chun; Isabella Siu; Riccardo Paccagnella (SP, 2025)