Minseok Jeon

According to our database, Minseok Jeon authored at least 12 papers between 2017 and 2025.

Collaborative distances:

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

2025

GDLNN: Marriage of Programming Language and Neural Networks for Accurate and Easy-to-Explain Graph Classification.

Minseok Jeon, Seunghyun Park

CoRR, October, 2025

Corrigendum: PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns.

Donguk Kim, Minseok Jeon, Doha Hwang, Hakjoo Oh

Proc. ACM Program. Lang., 2025

PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns.

Donguk Kim, Minseok Jeon, Doha Hwang, Hakjoo Oh

Proc. ACM Program. Lang., 2025

2024

PL4XGL: A Programming Language Approach to Explainable Graph Learning.

Minseok Jeon, Jihyeok Park, Hakjoo Oh

Proc. ACM Program. Lang., 2024

Preference Elicitation and Incorporation for Human-Robot Task Scheduling.

Neel Dhanaraj, Minseok Jeon, Jeon Ho Kang, Stefanos Nikolaidis, Satyandra K. Gupta

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics.

Jinkook Kim, Minseok Jeon, Sejeong Jang, Hakjoo Oh

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022

Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs.

Minseok Jeon, Hakjoo Oh

Proc. ACM Program. Lang., 2022

2021

A practical algorithm for learning disjunctive abstraction heuristics in static program analysis.

Donghoon Jeon, Minseok Jeon, Hakjoo Oh

Inf. Softw. Technol., 2021

2020

Learning graph-based heuristics for pointer analysis without handcrafting application-specific features.

Minseok Jeon, Myungho Lee, Hakjoo Oh

Proc. ACM Program. Lang., 2020

2019

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis.

Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh

ACM Trans. Program. Lang. Syst., 2019

2018

Precise and scalable points-to analysis via data-driven context tunneling.

Minseok Jeon, Sehun Jeong, Hakjoo Oh

Proc. ACM Program. Lang., 2018

2017

Data-driven context-sensitivity for points-to analysis.

Sehun Jeong, Minseok Jeon, Sung Deok Cha, Hakjoo Oh

Proc. ACM Program. Lang., 2017