Hyeonseung Im

29 papers A* 2A 5C 2Misc 1Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Impact of Large Language Models of Code on Fault Localization.
ICST
Suhwan Ji, Sanghwa Lee, Changsup Lee, Yo-Sub Han, Hyeonseung Im
2024 J jnl
Impact of Large Language Models of Code on Fault Localization.
CoRR
Suhwan Ji, Sanghwa Lee, Changsup Lee, Hyeonseung Im, Yo-Sub Han
2023 A conf
Automated Grading of Regular Expressions.
ESOP
Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko
2023 — conf
Twelve-Lead ECG Reconstruction from Single-Lead Signals Using Generative Adversarial Networks.
MICCAI (7)
Jinho Joo, Gihun Joo, Yeji Kim, Moo-Nyun Jin, Junbeom Park, Hyeonseung Im
2022 J jnl
Anisotropic SpiralNet for 3D Shape Completion and Denoising.
Sensors
Seong Uk Kim, Jihyun Roh, Hyeonseung Im, Jongmin Kim
2022 Misc conf
RepCoder: an automated program repair framework for probability-based program synthesis.
SAC
Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im
2021 C conf
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis.
CIAA
Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko
2021 J jnl
Evaluating Countermeasures for Verifying the Integrity of Ethereum Smart Contract Applications.
IEEE Access
Suhwan Ji, Dohyung Kim, Hyeonseung Im
2021 J jnl
Human motion reconstruction using deep transformer networks.
Pattern Recognit. Lett.
Seong Uk Kim, Hanyoung Jang, Hyeonseung Im, Jongmin Kim
2021 J jnl
Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization.
J. Supercomput.
Siwoon Son, Hyeonseung Im, Yang-Sae Moon
2020 J jnl
An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction.
KSII Trans. Internet Inf. Syst.
Hyeonseung Im, Dohyung Kim
2020 J jnl
Backward type inference for XML queries.
Theor. Comput. Sci.
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2020 J jnl
Clinical Implication of Machine Learning in Predicting the Occurrence of Cardiovascular Disease Using Big Data (Nationwide Cohort Data in Korea).
IEEE Access
Gihun Joo, Yeongjin Song, Hyeonseung Im, Junbeom Park
2019 J jnl
Measurement Noise Recommendation for Efficient Kalman Filtering over a Large Amount of Sensor Data.
Sensors
Sebin Park, Myeong-Seon Gil, Hyeonseung Im, Yang-Sae Moon
2016 J jnl
Optimizing skyline queries over incomplete data.
Inf. Sci.
Jongwuk Lee, Hyeonseung Im, Gae-won You
2016 C conf
Precise and scalable static analysis of jQuery using a regular expression domain.
DLS
Changhee Park, Hyeonseung Im, Sukyoung Ryu
2015 A conf
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.
ESOP
Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken
2014 A* conf
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
POPL
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
2013 — conf
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types.
ICALP (2)
Hyeonseung Im, Keiko Nakata, Sungwoo Park
2013 J jnl
The Farthest Spatial Skyline Queries.
Inf. Syst.
Gae-won You, Mu-Woong Lee, Hyeonseung Im, Seung-won Hwang
2012 J jnl
Computing Exact Skyline Probabilities for Uncertain Databases.
IEEE Trans. Knowl. Data Eng.
Dongwon Kim, Hyeonseung Im, Sungwoo Park
2012 J jnl
Group skyline computation.
Inf. Sci.
Hyeonseung Im, Sungwoo Park
2011 J jnl
A calculus for hardware description.
J. Funct. Program.
Sungwoo Park, Hyeonseung Im
2011 J jnl
A modal logic internalizing normal proofs.
Inf. Comput.
Sungwoo Park, Hyeonseung Im
2011 A conf
A syntactic type system for recursive modules.
OOPSLA
Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park
2011 J jnl
Parallel skyline computation on multicore architectures.
Inf. Syst.
Hyeonseung Im, JongHyun Park, Sungwoo Park
2009 A* conf
Parallel Skyline Computation on Multicore Architectures.
ICDE
Sungwoo Park, Taekyung Kim, JongHyun Park, Jinha Kim, Hyeonseung Im
2009 J jnl
Type-safe higher-order channels with channel locality.
J. Funct. Program.
Sungwoo Park, Hyeonseung Im
2008 A conf
Functional netlists.
ICFP
Sungwoo Park, Jinha Kim, Hyeonseung Im