The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. - William C. Rounds; Hosung Song (HSCC, 2003)

SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. - Hosung Song; Kevin J. Compton; William C. Rounds (AVoCS, 2005)

Formal specification and *verification of reconfigurable hybrid systems. - Hosung Song (2005)

A Technique to Save More Energy Using Redundant Processors in Hard Real-Time Systems with DVS. - Hosung Song (ESA, 2008)

Online Shared Editing for Introductory Programming Courses. - Hosung Song (CSEDU (1), 2010)

Context aware Named Entity Recognition and Relation Extraction with Domain-specific language model. - Youngrok Jang; Hosung Song; Junho Lee; Gyeonghun Kim; Yireun Kim; Stanley Jungkyu Choi; Honglak Lee; Kyunghoon Bae (CLEF (Working Notes), 2022)

Extended Overview of ChEMU 2022 Evaluation Campaign: Information Extraction in Chemical Patents. - Yuan Li 012; Biaoyan Fang; Jiayuan He 002; Hiyori Yoshikawa; Saber A. Akhondi; Christian Druckenbrodt; Camilo Thorne; Zubair Afzal; Zenan Zhai; Kojiro Machi; Masaharu Yoshioka; Youngrok Jang; et al. (CLEF (Working Notes), 2022)

External Knowledge Selection with Weighted Negative Sampling in Knowledge-grounded Task-oriented Dialogue Systems. - Janghoon Han; Joongbo Shin; Hosung Song; Hyunjik Jo; Gyeonghun Kim; Yireun Kim; Stanley Jungkyu Choi (CoRR, 2022)

KL Penalty Control via Perturbation for Direct Preference Optimization. - Sangkyu Lee; Janghoon Han; Hosung Song; Stanley Jungkyu Choi; Honglak Lee; Youngjae Yu (CoRR, 2025)