Dual-Masked Autoencoders: Application to Multi-Labeled Pediatric Thoracic Diseases. - Taeyoung Yoon; Daesung Kang (IEEE Access, 2024)

When HPC Scheduling Meets Active Learning: Maximizing The Performance with Minimal Data. - Jiheon Choi; Jaehyun Lee; Minsol Choo; Taeyoung Yoon; Oh-Kyoung Kwon; Sangyoon Oh 001 (HPC Asia, 2025)

Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting. - Yonghyun Kim; Minki Cho; Jaehyung Lee; Jinwoo Kim; Taeyoung Yoon; Youngju Song; Chung-Kil Hur (Proc. ACM Program. Lang., 2025)

Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness. - Dongjae Lee; Janggun Lee; Taeyoung Yoon; Minki Cho; Jeehoon Kang; Chung-Kil Hur (Proc. ACM Program. Lang., 2025)

CurriMAE: curriculum learning based masked autoencoders for multi-labeled pediatric thoracic disease classification. - Taeyoung Yoon; Daesung Kang (PeerJ Comput. Sci., 2025)