| 2025 | ICST | Impact of Large Language Models of Code on Fault Localization. | Suhwan Ji, Sanghwa Lee, Changsup Lee, Yo-Sub Han, Hyeonseung Im |
| 2023 | ESOP | Automated Grading of Regular Expressions. | Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko |
| 2023 | MICCAI | Twelve-Lead ECG Reconstruction from Single-Lead Signals Using Generative Adversarial Networks. | Jinho Joo, Gihun Joo, Yeji Kim, Moo-Nyun Jin, Junbeom Park, Hyeonseung Im |
| 2022 | SAC | RepCoder: an automated program repair framework for probability-based program synthesis. | Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im |
| 2016 | DLS | Precise and scalable static analysis of jQuery using a regular expression domain. | Changhee Park, Hyeonseung Im, Sukyoung Ryu |
| 2015 | ESOP | A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. | Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Vronique Benzaken |
| 2014 | POPL | Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergue Lenglet, Luca Padovani |
| 2013 | ICALP | Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types. | Hyeonseung Im, Keiko Nakata, Sungwoo Park |
| 2011 | OOPSLA | A syntactic type system for recursive modules. | Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park |
| 2009 | ICDE | Parallel Skyline Computation on Multicore Architectures. | Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, Hyeonseung Im |
| 2008 | ICFP | Functional netlists. | Sungwoo Park, Jinha Kim, Hyeonseung Im |