Hakjoo Oh's Web Page

2023

V1SCAN: Discovering 1-day Vulnerabilities in Reused C/C++ Open-source Software Components Using Code Classification Techniques
Seunghoon Woo, Eunjin Choi, Heejo Lee, and Hakjoo Oh
Security 2023: 32nd USENIX Security Symposium
[pdf]
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-Bounded Exhaustive Search
Dongkwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems
[pdf]
Modular Component-Based Quantum Circuit Synthesis
Chan Gu Kang and Hakjoo Oh
OOPSLA 2023: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[pdf]
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics
Jinkook Kim, Minseok Jeon, Sejeong Jang, and Hakjoo Oh
ICST 2023: IEEE International Conference on Software Testing, Verification and Validation (Industry Track)
[pdf]
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
Jongwook Kim, Sunbeom So, and Hakjoo Oh
ICSE 2023: International Conference on Software Engineering
[pdf]
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing
Myungho Lee, Sooyoung Cha, and Hakjoo Oh
ICSE 2023: International Conference on Software Engineering
[pdf]
Learning to Boost Disjunctive Static Bug-Finders
Yoonseok Ko and Hakjoo Oh
ICSE 2023: International Conference on Software Engineering
[pdf]

2022

PyTER: Effective Program Repair for Python Type Errors
Wonseok Oh and Hakjoo Oh
ESEC/FSE 2022: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[pdf]
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters
Sooyoung Cha, Myungho Lee, Seokhyun Lee, and Hakjoo Oh
ICSE 2022: International Conference on Software Engineering
🏅ACM SIGSOFT Distinguished Paper Award
[pdf]
NPEX: Repairing Java Null Pointer Exceptions without Tests
Junhee Lee*, Seongjoon Hong*, and Hakjoo Oh (* contributed equally)
ICSE 2022: International Conference on Software Engineering
[pdf]
Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs
Minseok Jeon and Hakjoo Oh
POPL 2022: 49th ACM SIGPLAN Symposium on Principles of Programming Languages
[pdf] [artifact]

2021

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
Sooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, and Hakjoo Oh
TSE: IEEE Transactions on Software Engineering (accepted)
[pdf] [tool]
Context-Aware and Data-Driven Feedback Generation for Programming Assignments
Dowon Song, Woosuk Lee, and Hakjoo Oh
ESEC/FSE 2021: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[pdf] [tool] [media: etnews, hangyung]
A Practical Algorithm for Learning Disjunctive Abstraction Heuristics in Static Program Analysis
Donghoon Jeon, Minseok Jeon, and Hakjoo Oh
Information and Software Technology Volume 135
[link]
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
Sunbeom So, Seongjoon Hong, and Hakjoo Oh
Security 2021: 30th USENIX Security Symposium
[pdf] [tool] [media: ]
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse
Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, and Hakjoo Oh
ICSE 2021: 43rd International Conference on Software Engineering
[pdf] [code] [media: en, ko]

2020

Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
Minseok Jeon, Myungho Lee, and Hakjoo Oh
OOPSLA 2020: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[pdf]
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Sooyoung Cha and Hakjoo Oh
ESEC/FSE 2020: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[pdf]
Effective White-box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy
Seokhyun Lee, Sooyoung Cha, Dain Lee, and Hakjoo Oh
ISSTA 2020: The ACM SIGSOFT International Symposium on Software Testing and Analysis
🏅ACM SIGSOFT Distinguished Paper Award
[pdf] [tool]
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
Dongkwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi
PLDI 2020: 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
[pdf]
SAVER: Scalable, Precise, and Safe Memory-Error Repair
Seongjoon Hong*, Junhee Lee*, Jeongsoo Lee, and Hakjoo Oh (* contributed equally)
ICSE 2020: 42nd International Conference on Software Engineering
[pdf] [tool]
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo Oh
S&P 2020: 41st IEEE Symposium on Security and Privacy
[pdf] [tool] [benchmarks] [video abstract]

2019

Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Dowon Song, Myungho Lee, and Hakjoo Oh
OOPSLA 2019: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[pdf] [code]
Concolic Testing with Adaptively Changing Search Heuristics
Sooyoung Cha and Hakjoo Oh
ESEC/FSE 2019: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[pdf] [code]
Resource-aware Program Analysis via Online Abstraction Coarsening
Kihong Heo, Hakjoo Oh, and Hongseok Yang
ICSE 2019: International Conference on Software Engineering
🏅ACM SIGSOFT Distinguished Paper Award
[pdf]
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis
Minseok Jeon*, Sehun Jeong*, Sungdeok Cha, and Hakjoo Oh (*contributed equally)
TOPLAS: ACM Transactions on Programming Languages and Systems
[pdf]

2018

MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Junhee Lee*, Seongjoon Hong*, and Hakjoo Oh (*contributed equally)
ESEC/FSE 2018: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[pdf] [tool]
A Scalable Learning Algorithm for Data-Driven Program Analysis
Sooyoung Cha, Sehun Jeong, and Hakjoo Oh
Information and Software Technology
[link]
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Minseok Jeon, Sehun Jeong, Hakjoo Oh
OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[link] [pdf]
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh
OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[link] [pdf] [tool]
Template-Guided Concolic Testing via Online Learning
Sooyoung Cha, Seonho Lee, and Hakjoo Oh
ASE 2018: IEEE/ACM International Conference on Automated Software Engineering
[pdf]
Synthesizing Pattern Programs from Examples
Sunbeom So and Hakjoo Oh
IJCAI 2018: International Joint Conference on Artificial Intelligence
[pdf]
Automatically Generating Search Heuristics for Concolic Testing
Sooyoung Cha, Seongjoon Hong, Junhee Lee, and Hakjoo Oh
ICSE 2018: International Conference on Software Engineering
[pdf] [tool]
Adaptive Static Analysis via Learning with Bayesian Optimization
Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems
[pdf]
Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static Analyses
Kihong Heo, Hakjoo Oh, and Hongseok Yang
FMSD: Formal Methods in System Design
Invited Paper
[link]

2017

Data-Driven Context-Sensitivity for Points-to Analysis
Sehun Jeong*, Minseok Jeon*, Sungdeok Cha, and Hakjoo Oh (*contributed equally)
OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[pdf] [link] [slides] [poster]
Automatically Generating Features for Learning Program Analysis Heuristics for C-like Languages
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[pdf] [link] [slides] [poster]
Synthesizing Imperative Programs from Examples Guided by Static Analysis
Sunbeom So, Hakjoo Oh
SAS 2017: Static Analysis Symposium
[pdf] [tool]
Sound Non-Statistical Clustering of Static Analysis Alarms
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems
[pdf]
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks
Min-je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
IJCAI 2017: International Joint Conference on Artificial Intelligence
[pdf]
VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery
Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh
S&P 2017: IEEE Symposium on Security and Privacy
[pdf]
Machine-Learning-Guided Selectively Unsound Static Analysis
Kihong Heo, Hakjoo Oh, and Kwangkeun Yi
ICSE 2017: International Conference on Software Engineering
[pdf]
Selective Conjunction of Context-Sensitivity and Octagon Domain toward Scalable and Precise Global Static Analysis
Kihong Heo, Hakjoo Oh, and Kwangkeun Yi
SP&E: Software-Practice and Experience. 2017
[pdf]

2016

Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Mina Lee*, Sunbeom So*, and Hakjoo Oh (*contributed equally)
GPCE 2016: ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
🏅Best Paper Award
[pdf] [demo] [tool]
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
Sooyoung Cha, Sehun Jeong, and Hakjoo Oh
APLAS 2016: Asian Symposium on Programming Languages and Systems
[pdf]
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis
Kihong Heo, Hakjoo Oh, and Hongseok Yang
SAS 2016: Static Analysis Symposium
[pdf]
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems. 38(2). 2016
[pdf]
Widening with Thresholds via Binary Search
Sol Kim, Kihong Heo, Hakjoo Oh, and Kwangkeun Yi
SP&E: Software-Practice and Experience. 2016
[pdf]
Automated Source Code Instrumentation for Verifying Potential Vulnerabilities
Hongzhe Li, Jaesang Oh, Hakjoo Oh, and Heejo Lee.
IFIP SEC 2016: International Information Security and Privacy Conference
[pdf]

2015

Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
Hakjoo Oh, Hongseok Yang, and Kwangkeun Yi
OOPSLA 2015: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[pdf] [slides]

2014 and before

Global Sparse Analysis Framework
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, and Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems, vol. 36, Issue 3, Sept. 2014
[pdf]
A Progress Bar for Static Analyzers
Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi
SAS 2014: Static Analysis Symposium
[pdf]
Selective Context-Sensitivity Guided by Impact Pre-Analysis
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi
PLDI 2014: ACM SIGPLAN Conference on Programming Language Design and Implementation
[pdf] [slides]
A Sparse Evaluation Technique for Detailed Semantic Analyses
Yoonseok Ko, Kihong Heo, and Hakjoo Oh
Computer Languages, Systems, and Structures, Vol. 40, Issues 3-4. 2014
[pdf]
Access-based Abstract Memory Localization in Static Analysis
Hakjoo Oh and Kwangkeun Yi
SCP: Science of Computer Programming , 2013
[pdf]
Design and Implementation of Sparse Global Analyses for C-like Languages
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi
PLDI 2012: ACM SIGPLAN Conference on Programming Language Design and Implementation
First PLDI paper from Korea
[pdf] [slides]
Access-based Localization with Bypassing
Hakjoo Oh and Kwangkeun Yi
APLAS 2011: The 9th Asian Symposium on Programming Languages and Systems
[pdf] [slides]
Access Analysis-based Tight Localization of Abstract Memories
Hakjoo Oh, Lucas Brutschy, and Kwangkeun Yi
VMCAI 2011: The 12th International Conference on Verification, Model Checking, and Abstract Interpretation
[pdf] [slides]
An Algorithmic Mitigation of Large Spurious Interprocedural Cycles in Static Analysis
Hakjoo Oh and Kwangkeun Yi
SP&E: Software-Practice and Experience, 2010
[pdf]
Large Spurious Cycles in Global Static Analysis and Its Algorithmic Mitigation
Hakjoo Oh
APLAS 2009: The 7th Asian Symposium on Programming Languages and Systems
[pdf] [slides]
Identifying Static Analysis Techniques for Finding Non-fix Hunks in Fix Revisions
Yungbum Jung, Hakjoo Oh, and Kwangkeun Yi
DSMM 2009: The ACM Workshop on Data-intensive Software Management and Mining
[pdf]