Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. - Hakjoo Oh (APLAS, 2009)

Identifying static analysis techniques for finding non-fix hunks in fix revisions. - Yungbum Jung; Hakjoo Oh; Kwangkeun Yi (CIKM-DSMM, 2009)

An algorithmic mitigation of large spurious interprocedural cycles in static analysis. - Hakjoo Oh; Kwangkeun Yi (Softw. Pract. Exp., 2010)

Access-Based Localization with Bypassing. - Hakjoo Oh; Kwangkeun Yi (APLAS, 2011)

Access Analysis-Based Tight Localization of Abstract Memories. - Hakjoo Oh; Lucas Brutschy; Kwangkeun Yi (VMCAI, 2011)

Design and implementation of sparse global analyses for C-like languages. - Hakjoo Oh; Kihong Heo; Wonchan Lee; Woosuk Lee; Kwangkeun Yi (PLDI, 2012)

Access-based abstract memory localization in static analysis. - Hakjoo Oh; Kwangkeun Yi (Sci. Comput. Program., 2013)

Selective context-sensitivity guided by impact pre-analysis. - Hakjoo Oh; Wonchan Lee; Kihong Heo; Hongseok Yang; Kwangkeun Yi (PLDI, 2014)

A Progress Bar for Static Analyzers. - Woosuk Lee; Hakjoo Oh; Kwangkeun Yi (SAS, 2014)

A sparse evaluation technique for detailed semantic analyses. - Yoonseok Ko; Kihong Heo; Hakjoo Oh (Comput. Lang. Syst. Struct., 2014)

Global Sparse Analysis Framework. - Hakjoo Oh; Kihong Heo; Wonchan Lee; Woosuk Lee; Daejun Park 001; Jeehoon Kang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2014)

Learning a strategy for adapting a program analysis via bayesian optimisation. - Hakjoo Oh; Hongseok Yang; Kwangkeun Yi (OOPSLA, 2015)

Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. - Sooyoung Cha; Sehun Jeong; Hakjoo Oh (APLAS, 2016)

Synthesizing regular expressions from examples for introductory automata assignments. - Mina Lee 002; Sunbeom So; Hakjoo Oh (GPCE, 2016)

Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. - Kihong Heo; Hakjoo Oh; Hongseok Yang (SAS, 2016)

Automated Source Code Instrumentation for Verifying Potential Vulnerabilities. - Hongzhe Li; Jaesang Oh; Hakjoo Oh; Heejo Lee (SEC, 2016)

Automatically generating features for learning program analysis heuristics. - Kwonsoo Chae; Hakjoo Oh; Kihong Heo; Hongseok Yang (CoRR, 2016)

Widening with thresholds via binary search. - Sol Kim; Kihong Heo; Hakjoo Oh; Kwangkeun Yi (Softw. Pract. Exp., 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)

Machine-learning-guided selectively unsound static analysis. - Kihong Heo; Hakjoo Oh; Kwangkeun Yi (ICSE, 2017)

End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. - Minje Choi; Sehun Jeong; Hakjoo Oh; Jaegul Choo (IJCAI, 2017)

Synthesizing Imperative Programs from Examples Guided by Static Analysis. - Sunbeom So; Hakjoo Oh (SAS, 2017)

VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery. - Seulbae Kim; Seunghoon Woo; Heejo Lee; Hakjoo Oh (IEEE Symposium on Security and Privacy, 2017)

Synthesizing Imperative Programs for Introductory Programming Assignments. - Sunbeom So; Hakjoo Oh (CoRR, 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)

Data-driven context-sensitivity for points-to analysis. - Sehun Jeong; Minseok Jeon; Sung Deok Cha; Hakjoo Oh (Proc. ACM Program. Lang., 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)

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)

Automatically generating search heuristics for concolic testing. - Sooyoung Cha; Seongjoon Hong; Junhee Lee; Hakjoo Oh (ICSE, 2018)

Synthesizing Pattern Programs from Examples. - Sunbeom So; Hakjoo Oh (IJCAI, 2018)

Template-guided concolic testing via online learning. - Sooyoung Cha; Seonho Lee; Hakjoo Oh (ASE, 2018)

MemFix: static analysis-based repair of memory deallocation errors for C. - Junhee Lee; Seongjoon Hong; Hakjoo Oh (ESEC/SIGSOFT FSE, 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)

A scalable learning algorithm for data-driven program analysis. - Sooyoung Cha; Sehun Jeong; Hakjoo Oh (Inf. Softw. Technol., 2018)

Precise and scalable points-to analysis via data-driven context tunneling. - Minseok Jeon; Sehun Jeong; Hakjoo Oh (Proc. ACM Program. Lang., 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)

Adaptive Static Analysis via Learning with Bayesian Optimization. - Kihong Heo; Hakjoo Oh; Hongseok Yang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2018)

Resource-aware program analysis via online abstraction coarsening. - Kihong Heo; Hakjoo Oh; Hongseok Yang (ICSE, 2019)

Concolic testing with adaptively changing search heuristics. - Sooyoung Cha; Hakjoo Oh (ESEC/SIGSOFT FSE, 2019)

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. - Sooyoung Cha; Seongjoon Hong; Jingyoung Kim; Junhee Lee; Hakjoo Oh (CoRR, 2019)

Automatic and scalable detection of logical errors in functional programming assignments. - Dowon Song; Myungho Lee; Hakjoo Oh (Proc. ACM Program. Lang., 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)

SAVER: scalable, precise, and safe memory-error repair. - Seongjoon Hong; Junhee Lee; Jeongsoo Lee; Hakjoo Oh (ICSE, 2020)

Effective white-box testing of deep neural networks with adaptive neuron-selection strategy. - Seokhyun Lee; Sooyoung Cha; Dain Lee; Hakjoo Oh (ISSTA, 2020)

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. - DongKwon Lee; Woosuk Lee; Hakjoo Oh; Kwangkeun Yi (PLDI, 2020)

Making symbolic execution promising by learning aggressive state-pruning strategy. - Sooyoung Cha; Hakjoo Oh (ESEC/SIGSOFT FSE, 2020)

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. - Sunbeom So; Myungho Lee; Jisu Park; Heejo Lee; Hakjoo Oh (SP, 2020)

Learning graph-based heuristics for pointer analysis without handcrafting application-specific features. - Minseok Jeon; Myungho Lee; Hakjoo Oh (Proc. ACM Program. Lang., 2020)

Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse. - Seunghoon Woo; Sunghan Park; Seulbae Kim; Heejo Lee; Hakjoo Oh (ICSE, 2021)

Context-aware and data-driven feedback generation for programming assignments. - Dowon Song; Woosuk Lee; Hakjoo Oh (ESEC/SIGSOFT FSE, 2021)

SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. - Sunbeom So; Seongjoon Hong; Hakjoo Oh (USENIX Security Symposium, 2021)

A practical algorithm for learning disjunctive abstraction heuristics in static program analysis. - Donghoon Jeon; Minseok Jeon; Hakjoo Oh (Inf. Softw. Technol., 2021)

SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters. - Sooyoung Cha; Myungho Lee; Seokhyun Lee; Hakjoo Oh (ICSE, 2022)

NPEX: Repairing Java Null Pointer Exceptions without Tests. - Junhee Lee; Seongjoon Hong; Hakjoo Oh (ICSE, 2022)

PyTER: effective program repair for Python type errors. - Wonseok Oh; Hakjoo Oh (ESEC/SIGSOFT FSE, 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)

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)

Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. - Jongwook Kim; Sunbeom So; Hakjoo Oh (ICSE, 2023)

Learning to Boost Disjunctive Static Bug-Finders. - Yoonseok Ko; Hakjoo Oh (ICSE, 2023)

Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. - Myungho Lee; Sooyoung Cha; Hakjoo Oh (ICSE, 2023)

Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics. - Jinkook Kim; Minseok Jeon; Sejeong Jang; Hakjoo Oh (ICST, 2023)

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. - Sunbeom So; Hakjoo Oh (ESEC/SIGSOFT FSE, 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 (USENIX Security Symposium, 2023)

Modular Component-Based Quantum Circuit Synthesis. - Chan Gu Kang; Hakjoo Oh (Proc. ACM Program. Lang., 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., 2023)

Effective Unit Test Generation for Java Null Pointer Exceptions. - Myungho Lee; Jiseong Bak; Seokhyeon Moon; Yoonchan Jhi; Hakjoo Oh (ASE, 2024)

Towards Effective Static Type-Error Detection for Python. - Wonseok Oh; Hakjoo Oh (ASE, 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)

PL4XGL: A Programming Language Approach to Explainable Graph Learning. - Minseok Jeon; Jihyeok Park; Hakjoo Oh (Proc. ACM Program. Lang., 2024)

Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification. - Chan Gu Kang; Joonghoon Lee; Hakjoo Oh (Proc. ACM Program. Lang., 2024)

PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns. - Donguk Kim; Minseok Jeon; Doha Hwang; Hakjoo Oh (Proc. ACM Program. Lang., 2025)