Hyeonseung Im

According to our database, Hyeonseung Im authored at least 28 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Impact of Large Language Models of Code on Fault Localization.

Suhwan Ji, Sanghwa Lee, Changsup Lee, Hyeonseung Im, Yo-Sub Han

CoRR, 2024

2023

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

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

Automated Grading of Regular Expressions.

Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko

Proceedings of the Programming Languages and Systems, 2023

2022

Anisotropic SpiralNet for 3D Shape Completion and Denoising.

Seong Uk Kim, Jihyun Roh, Hyeonseung Im, Jongmin Kim

Sensors, 2022

RepCoder: an automated program repair framework for probability-based program synthesis.

Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization.

Siwoon Son, Hyeonseung Im, Yang-Sae Moon

J. Supercomput., 2021

Human motion reconstruction using deep transformer networks.

Seong Uk Kim, Hanyoung Jang, Hyeonseung Im, Jongmin Kim

Pattern Recognit. Lett., 2021

Evaluating Countermeasures for Verifying the Integrity of Ethereum Smart Contract Applications.

Suhwan Ji, Dohyung Kim, Hyeonseung Im

IEEE Access, 2021

Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis.

Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko

Proceedings of the Implementation and Application of Automata, 2021

2020

Backward type inference for XML queries.

Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda

Theor. Comput. Sci., 2020

An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction.

Hyeonseung Im, Dohyung Kim

KSII Trans. Internet Inf. Syst., 2020

Clinical Implication of Machine Learning in Predicting the Occurrence of Cardiovascular Disease Using Big Data (Nationwide Cohort Data in Korea).

Gihun Joo, Yeongjin Song, Hyeonseung Im, Junbeom Park

IEEE Access, 2020

2019

Measurement Noise Recommendation for Efficient Kalman Filtering over a Large Amount of Sensor Data.

Sebin Park, Myeong-Seon Gil, Hyeonseung Im, Yang-Sae Moon

Sensors, 2019

2016

Optimizing skyline queries over incomplete data.

Jongwuk Lee, Hyeonseung Im, Gae-won You

Inf. Sci., 2016

Precise and scalable static analysis of jQuery using a regular expression domain.

Changhee Park, Hyeonseung Im, Sukyoung Ryu

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015

A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.

Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken

Proceedings of the Programming Languages and Systems, 2015

2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

The Farthest Spatial Skyline Queries.

Gae-won You, Mu-Woong Lee, Hyeonseung Im, Seung-won Hwang

Inf. Syst., 2013

Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types.

Hyeonseung Im, Keiko Nakata, Sungwoo Park

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

Computing Exact Skyline Probabilities for Uncertain Databases.

Dongwon Kim, Hyeonseung Im, Sungwoo Park

IEEE Trans. Knowl. Data Eng., 2012

Group skyline computation.

Hyeonseung Im, Sungwoo Park

Inf. Sci., 2012

2011

A calculus for hardware description.

Sungwoo Park, Hyeonseung Im

J. Funct. Program., 2011

Parallel skyline computation on multicore architectures.

Hyeonseung Im, Jonghyun Park, Sungwoo Park

Inf. Syst., 2011

A modal logic internalizing normal proofs.

Sungwoo Park, Hyeonseung Im

Inf. Comput., 2011

A syntactic type system for recursive modules.

Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2009

Type-safe higher-order channels with channel locality.

Sungwoo Park, Hyeonseung Im

J. Funct. Program., 2009

Parallel Skyline Computation on Multicore Architectures.

Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, Hyeonseung Im

Proceedings of the 25th International Conference on Data Engineering, 2009

2008

Functional netlists.

Sungwoo Park, Jinha Kim, Hyeonseung Im

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008