Contact

Publications

Machine Learning Healthcare AI Software Engineering Programming Languages Formal Methods Data Systems Security Computer Vision

2026

Automated Program Repair using quantized language models and parameter-efficient fine-tuning
Automated Program Repair using quantized language models and parameter-efficient fine-tuning
Information and Software Technology
Authors
Yongkyu Lee Sanghwa Lee Suhwan Ji Wonjun Song Hyeonseung Im
Support
BRL후속 Post-Doc. 글로컬랩 RISE
Tags
machine-learning software-engineering
DOI
GitHub
Evaluating the sampling effect of propensity score matching for reducing selection bias in medical data
Evaluating the sampling effect of propensity score matching for reducing selection bias in medical data
Frontiers in Public Health
Authors
Minji Roh Sujin Yum Gihun Joo Jae-Won Jang Hyeonseung Im
Support
글로컬랩 PACEN Post-Doc. RISE
Tags
machine-learning healthcare-ai
DOI

2025

Impact of Large Language Models of Code on Fault Localization
Impact of Large Language Models of Code on Fault Localization
ICST 2025: IEEE International Conference on Software Testing, Verification and Validation
Authors
Suhwan Ji Sanghwa Lee Changsup Lee Yo-Sub Han Hyeonseung Im
Support
지역지능화 BRL후속 Post-Doc.
Tags
machine-learning software-engineering
PDF
GitHub
Neural Methods for Programming: A Comprehensive Survey and Future Directions
Neural Methods for Programming: A Comprehensive Survey and Future Directions
Applied Sciences
Authors
Gebremedhin Gebreslassie Maru Sanghwa Lee Suhwan Ji Sang-Ki Ko Hyeonseung Im
Support
글로컬랩 BRL후속 Post-Doc. RISE
Tags
machine-learning programming-languages
DOI

2024

Medical Data Analysis Using AutoML Frameworks
Medical Data Analysis Using AutoML Frameworks
Journal of Electrical Engineering & Technology
Authors
Seunghun Shin* Dongyoung Park* Suhwan Ji Gihun Joo Hyeonseung Im

(* equal contributions)

Support
지역지능화 BRL후속 DS RIS
Tags
machine-learning healthcare-ai
PDF
GitHub
Predicting the Progression of Mild Cognitive Impairment to Alzheimer s Dementia Using Recurrent Neural Networks With a Series of Neuropsychological Tests
Predicting the Progression of Mild Cognitive Impairment to Alzheimer’s Dementia Using Recurrent Neural Networks With a Series of Neuropsychological Tests
Journal of Clinical Neurology
Authors
Chaeyoon Park Gihun Joo Minji Roh Seunghun Shin Sujin Yum Na Young Yeo Sang Won Park Jae-Won Jang Hyeonseung Im
Support
융합보안 DS RIS
Tags
machine-learning healthcare-ai
PDF
Design and Implementation of a Blockchain-Based Open Peer Review System Using Hyperledger Fabric
Design and Implementation of a Blockchain-Based Open Peer Review System Using Hyperledger Fabric
Journal of Electrical Engineering & Technology
Authors
Suhwan Ji* Seong-U Kim* Dohyung Kim Hyeonseung Im

(* equal contributions)

Support
블록체인 지역지능화 RIS
Tags
security
PDF
GitHub

2023

Prediction of osteoporosis in patients with rheumatoid arthritis using machine learning
Prediction of osteoporosis in patients with rheumatoid arthritis using machine learning
Scientific Reports
Authors
Chaewon Lee Gihun Joo Seunghun Shin Hyeonseung Im Ki Won Moon
Support
지역지능화 DS RIS
Tags
machine-learning healthcare-ai
DOI
GitHub
Twelve-Lead ECG Reconstruction from Single-Lead Signals Using Generative Adversarial Networks
Twelve-Lead ECG Reconstruction from Single-Lead Signals Using Generative Adversarial Networks
MICCAI 2023: International Conference on Medical Image Computing and Computer Assisted Intervention
Authors
Jinho Joo* Gihun Joo* Yeji Kim Moo-Nyun Jin Junbeom Park Hyeonseung Im

(* equal contributions)

Support
BRL후속 DS RIS
Tags
machine-learning healthcare-ai
DOI
GitHub
Clinical Applicability of an Artificial Intelligence Prediction Algorithm for Early Prediction of Non-persistent Atrial Fibrillation
Clinical Applicability of an Artificial Intelligence Prediction Algorithm for Early Prediction of Non-persistent Atrial Fibrillation
Frontiers in Cardiovascular Medicine
Authors
Yeji Kim* Gihun Joo* Bo-Kyung Jeon Dong-Hyeon Kim Tae Young Shin Hyeonseung Im Junbeom Park

(* equal contributions)

Support
융합보안 RIS
Tags
machine-learning healthcare-ai
DOI
Automated Grading of Regular Expressions
Automated Grading of Regular Expressions
ESOP 2023: 32nd European Symposium on Programming
Authors
Su-Hyeon Kim Youngwook Kim Yo-Sub Han Hyeonseung Im Sang-Ki Ko
Support
BRL
Tags
software-engineering programming-languages formal-methods
PDF

2022

Predicting Progression to Dementia with Comprehensive Visual Rating Scale and Machine Learning Algorithms
Predicting Progression to Dementia with “Comprehensive Visual Rating Scale” and Machine Learning Algorithms
Frontiers in Neurology
Authors
Chaeyoon Park Jae-Won Jang Gihun Joo Yeshin Kim Seongheon Kim Gihwan Byeon Sang Won Park Payam Hosseinzadeh Kasani Sujin Yum Jung-Min Pyun Young Ho Park Jae-Sung Lim Young Chul Youn Hyun-Soo Choi Chihyun Park Hyeonseung Im SangYun Kim
Tags
machine-learning healthcare-ai
DOI
RepCoder: An Automated Program Repair Framework for Probability-Based Program Synthesis
RepCoder: An Automated Program Repair Framework for Probability-Based Program Synthesis
SAC 2022: 37th ACM/SIGAPP Symposium on Applied Computing
Authors
Suhwan Ji Sang-Min Choi Sang-Ki Ko Dohyung Kim Hyeonseung Im
Tags
software-engineering
DOI
Anisotropic SpiralNet for 3D Shape Completion and Denoising
Anisotropic SpiralNet for 3D Shape Completion and Denoising
Sensors
Authors
Seong Uk Kim Jihyun Roh Hyeonseung Im Jongmin Kim
Tags
machine-learning computer-vision
DOI

2021

Human Motion Reconstruction Using Deep Transformer Networks
Human Motion Reconstruction Using Deep Transformer Networks
Pattern Recognition Letters
Authors
Seong Uk Kim Hanyoung Jang Hyeonseung Im Jongmin Kim
Tags
machine-learning computer-vision
PDF
DOI
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis
CIAA 2021: International Conference on Implementation and Application of Automata
Authors
Su-Hyeon Kim Hyeonseung Im Sang-Ki Ko
Tags
programming-languages formal-methods
DOI
Evaluating countermeasures for verifying the integrity of Ethereum smart contract applications
Evaluating countermeasures for verifying the integrity of Ethereum smart contract applications
IEEE Access
Authors
Suhwan Ji Dohyung Kim Hyeonseung Im
Tags
security
PDF
GitHub
Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization
Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization
The Journal of Supercomputing
Authors
Siwoon Son Hyeonseung Im Yang-Sae Moon
Tags
data-systems
PDF
DOI
On Correspondence between Selective CPS Transformation and Selective Double Negation Translation
On Correspondence between Selective CPS Transformation and Selective Double Negation Translation
Mathematics
Authors
Hyeonseung Im
Tags
formal-methods
PDF

2020

Clinical Implication of Machine Learning in Predicting the Occurrence of Cardiovascular Disease Using Big Data Nationwide Cohort Data in Korea
Clinical Implication of Machine Learning in Predicting the Occurrence of Cardiovascular Disease Using Big Data (Nationwide Cohort Data in Korea)
IEEE Access
Authors
Gihun Joo Yeongjin Song Hyeonseung Im Junbeom Park
Tags
machine-learning healthcare-ai data-systems
PDF
Backward Type Inference for XML Queries
Backward Type Inference for XML Queries
Theoretical Computer Science
Authors
Hyeonseung Im Pierre Genevès Nils Gesbert Nabil Layaïda
Tags
programming-languages data-systems
PDF
DOI
An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction
An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction
KSII Transactions on Internet and Information Systems
Authors
Hyeonseung Im Dohyung Kim
Tags
security
PDF

2019

Measurement Noise Recommendation for Efficient Kalman Filtering over a Large Amount of Sensor Data
Measurement Noise Recommendation for Efficient Kalman Filtering over a Large Amount of Sensor Data
Sensors
Authors
Sebin Park Myeong-Seon Gil Hyeonseung Im Yang-Sae Moon
Tags
machine-learning data-systems
PDF
A Comparative Study of Bitcoin Price Prediction Using Deep Learning
A Comparative Study of Bitcoin Price Prediction Using Deep Learning
Mathematics
Authors
Suhwan Ji Jongmin Kim Hyeonseung Im
Tags
machine-learning
PDF

2018

A Bidirectional Decision Procedure for Intuitionistic Modal Logic IS5
A Bidirectional Decision Procedure for Intuitionistic Modal Logic IS5
Draft
Authors
Hyungchul Park Hyeonseung Im Sungwoo Park
Tags
formal-methods
PDF
Webpage
GitHub

2017

2016

Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
DLS 2016: Dynamic Language Symposium
Authors
Changhee Park Hyeonseung Im Sukyoung Ryu
Tags
programming-languages formal-methods data-systems
PDF
Optimizing skyline queries over incomplete data
Optimizing skyline queries over incomplete data
Information Sciences
Authors
Jongwuk Lee Hyeonseung Im Gae-won You
Tags
data-systems
DOI

2015

A Core Calculus for XQuery 3.0 Combining Navigational and Pattern Matching Approaches
A Core Calculus for XQuery 3.0 – Combining Navigational and Pattern Matching Approaches
ESOP 2015: European Symposium on Programming
Authors
Giuseppe Castagna Hyeonseung Im Kim Nguyễn Véronique Benzaken
Tags
programming-languages formal-methods data-systems
DOI

2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation
POPL 2014: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Authors
Giuseppe Castagna Kim Nguyễn Zhiwu Xu Hyeonseung Im Sergueï Lenglet Luca Padovani
Tags
programming-languages formal-methods

2013

The Farthest Spatial Skyline Queries
The Farthest Spatial Skyline Queries
Information Systems
Authors
Gae-won You Mu-Woong Lee Hyeonseung Im Seung-won Hwang
Tags
data-systems
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types
ICALP 2013: International Colloquium on Automata, Languages, and Programming
Authors
Hyeonseung Im Keiko Nakata Sungwoo Park
Tags
programming-languages formal-methods

2012

Group skyline computation
Group skyline computation
Information Sciences
Authors
Hyeonseung Im Sungwoo Park
Tags
data-systems
Computing Exact Skyline Probabilities for Uncertain Databases
Computing Exact Skyline Probabilities for Uncertain Databases
IEEE Transactions on Knowledge and Data Engineering
Authors
Dongwon Kim Hyeonseung Im Sungwoo Park
Tags
data-systems

2011

A calculus for hardware description
A calculus for hardware description
Journal of Functional Programming
Authors
Sungwoo Park Hyeonseung Im
Tags
programming-languages formal-methods
DOI
Parallel skyline computation on multicore architectures
Parallel skyline computation on multicore architectures
Information Systems
Authors
Hyeonseung Im Jonghyun Park Sungwoo Park
Tags
data-systems
DOI
A syntactic type system for recursive modules
A syntactic type system for recursive modules
OOPSLA 2011: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
Authors
Hyeonseung Im Keiko Nakata Jacques Garrigue Sungwoo Park
Tags
programming-languages formal-methods
DOI
A modal logic internalizing normal proofs
A modal logic internalizing normal proofs
Information and Computation
Authors
Sungwoo Park Hyeonseung Im
Tags
formal-methods
DOI

2009

Type-safe higher-order channels with channel locality
Type-safe higher-order channels with channel locality
Journal of Functional Programming
Authors
Sungwoo Park Hyeonseung Im
Tags
formal-methods
DOI
Parallel Skyline Computation on Multicore Architectures
Parallel Skyline Computation on Multicore Architectures
ICDE 2009: International Conference on Data Engineering
Authors
Sungwoo Park Taekyung Kim Jonghyun Park Jinha Kim Hyeonseung Im
Tags
data-systems
DOI
A module system independent of base languages
A module system independent of base languages
MLPA 2009: Workshop on Modules and Libraries for Proof Assistants
Authors
Hyeonseung Im Sungwoo Park
Tags
programming-languages

2008

Functional netlists
Functional netlists
ICFP 2008: ACM SIGPLAN International Conference on Functional Programming
Authors
Sungwoo Park Jinha Kim Hyeonseung Im
Tags
programming-languages
DOI