Hakjoo Oh

According to our database, Hakjoo Oh authored at least 68 papers between 2009 and 2024.

Collaborative distances:

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

2024

Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification.

Chan Gu Kang, Joonghoon Lee, Hakjoo Oh

Proc. ACM Program. Lang., 2024

PL4XGL: A Programming Language Approach to Explainable Graph Learning.

Minseok Jeon, Jihyeok Park, Hakjoo Oh

Proc. ACM Program. Lang., 2024

Quantum Probabilistic Model Checking for Time-Bounded Properties.

Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang

Proc. ACM Program. Lang., 2024

2023

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.

DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., September, 2023

Modular Component-Based Quantum Circuit Synthesis.

Chan Gu Kang, Hakjoo Oh

Proc. ACM Program. Lang., April, 2023

V1SCAN: Discovering 1-day Vulnerabilities in Reused C/C++ Open-source Software Components Using Code Classification Techniques.

Seunghoon Woo, Eunjin Choi, Heejo Lee, Hakjoo Oh

Proceedings of the 32nd USENIX Security Symposium, 2023

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models.

Sunbeom So, Hakjoo Oh

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing.

Myungho Lee, Sooyoung Cha, Hakjoo Oh

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Learning to Boost Disjunctive Static Bug-Finders.

Yoonseok Ko, Hakjoo Oh

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations.

Jongwook Kim, Sunbeom So, Hakjoo Oh

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics.

Sooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, Hakjoo Oh

IEEE Trans. Software Eng., 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

PyTER: effective program repair for Python type errors.

Wonseok Oh, Hakjoo Oh

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

NPEX: Repairing Java Null Pointer Exceptions without Tests.

Junhee Lee, Seongjoon Hong, Hakjoo Oh

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters.

Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

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

Donghoon Jeon, Minseok Jeon, Hakjoo Oh

Inf. Softw. Technol., 2021

SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution.

Sunbeom So, Seongjoon Hong, Hakjoo Oh

Proceedings of the 30th USENIX Security Symposium, 2021

Context-aware and data-driven feedback generation for programming assignments.

Dowon Song, Woosuk Lee, Hakjoo Oh

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse.

Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 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

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts.

Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Making symbolic execution promising by learning aggressive state-pruning strategy.

Sooyoung Cha, Hakjoo Oh

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.

DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Effective white-box testing of deep neural networks with adaptive neuron-selection strategy.

Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

SAVER: scalable, precise, and safe memory-error repair.

Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 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

Automatic and scalable detection of logical errors in functional programming assignments.

Dowon Song, Myungho Lee, Hakjoo Oh

Proc. ACM Program. Lang., 2019

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics.

Sooyoung Cha, Seongjoon Hong, Jingyoung Kim, Junhee Lee, Hakjoo Oh

CoRR, 2019

Concolic testing with adaptively changing search heuristics.

Sooyoung Cha, Hakjoo Oh

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Resource-aware program analysis via online abstraction coarsening.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Adaptive Static Analysis via Learning with Bayesian Optimization.

Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2018

Automatic diagnosis and correction of logical errors for functional programming assignments.

Junho Lee, Dowon Song, Sunbeom So, Hakjoo Oh

Proc. ACM Program. Lang., 2018

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

Minseok Jeon, Sehun Jeong, Hakjoo Oh

Proc. ACM Program. Lang., 2018

A scalable learning algorithm for data-driven program analysis.

Sooyoung Cha, Sehun Jeong, Hakjoo Oh

Inf. Softw. Technol., 2018

Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Formal Methods Syst. Des., 2018

MemFix: static analysis-based repair of memory deallocation errors for C.

Junhee Lee, Seongjoon Hong, Hakjoo Oh

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Template-guided concolic testing via online learning.

Sooyoung Cha, Seonho Lee, Hakjoo Oh

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Synthesizing Pattern Programs from Examples.

Sunbeom So, Hakjoo Oh

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Automatically generating search heuristics for concolic testing.

Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Sound Non-Statistical Clustering of Static Analysis Alarms.

Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2017

Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis.

Kihong Heo, Hakjoo Oh, Kwangkeun Yi

Softw. Pract. Exp., 2017

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

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

Proc. ACM Program. Lang., 2017

Automatically generating features for learning program analysis heuristics for C-like languages.

Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang

Proc. ACM Program. Lang., 2017

Synthesizing Imperative Programs for Introductory Programming Assignments.

Sunbeom So, Hakjoo Oh

CoRR, 2017

VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery.

Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Synthesizing Imperative Programs from Examples Guided by Static Analysis.

Sunbeom So, Hakjoo Oh

Proceedings of the Static Analysis - 24th International Symposium, 2017

End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks.

Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Machine-learning-guided selectively unsound static analysis.

Kihong Heo, Hakjoo Oh, Kwangkeun Yi

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis.

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2016

Widening with thresholds via binary search.

Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi

Softw. Pract. Exp., 2016

Automatically generating features for learning program analysis heuristics.

Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang

CoRR, 2016

Automated Source Code Instrumentation for Verifying Potential Vulnerabilities.

Hongzhe Li, Jaesang Oh, Hakjoo Oh, Heejo Lee

Proceedings of the ICT Systems Security and Privacy Protection, 2016

Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Synthesizing regular expressions from examples for introductory automata assignments.

Mina Lee, Sunbeom So, Hakjoo Oh

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Learning a Strategy for Choosing Widening Thresholds from a Large Codebase.

Sooyoung Cha, Sehun Jeong, Hakjoo Oh

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Learning a strategy for adapting a program analysis via bayesian optimisation.

Hakjoo Oh, Hongseok Yang, Kwangkeun Yi

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Global Sparse Analysis Framework.

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2014

A sparse evaluation technique for detailed semantic analyses.

Yoonseok Ko, Kihong Heo, Hakjoo Oh

Comput. Lang. Syst. Struct., 2014

A Progress Bar for Static Analyzers.

Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

Proceedings of the Static Analysis - 21st International Symposium, 2014

Selective context-sensitivity guided by impact pre-analysis.

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Access-based abstract memory localization in static analysis.

Hakjoo Oh, Kwangkeun Yi

Sci. Comput. Program., 2013

2012

Design and implementation of sparse global analyses for C-like languages.

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Access Analysis-Based Tight Localization of Abstract Memories.

Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Access-Based Localization with Bypassing.

Hakjoo Oh, Kwangkeun Yi

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

An algorithmic mitigation of large spurious interprocedural cycles in static analysis.

Hakjoo Oh, Kwangkeun Yi

Softw. Pract. Exp., 2010

2009

Identifying static analysis techniques for finding non-fix hunks in fix revisions.

Yungbum Jung, Hakjoo Oh, Kwangkeun Yi

Proceedings of the Proceeding of the ACM First International Workshop on Data-Intensive Software Management and Mining, 2009

Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation.

Hakjoo Oh

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009