2024
- Towards Effective Static Type-Error Detection for PythonWonseok Oh and Hakjoo OhASE 2024: IEEE/ACM International Conference on Automated Software Engineering[pdf]
- Effective Unit Test Generation for Java Null Pointer ExceptionsMyungho Lee, Jiseong Bak, Seokhyeon Moon, Yoon-Chan Jhi, and Hakjoo OhASE 2024: IEEE/ACM International Conference on Automated Software Engineering[pdf]
- Quantum Probabilistic Model Checking for Time-Bounded PropertiesSeungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, and Jeehoon KangOOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf]
- Statistical Testing of Quantum Programs via Fixed-Point Amplitude AmplificationChan Gu Kang, Joonghoon Lee, and Hakjoo OhOOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf]
[appendix]
[artifact]
- PL4XGL: A Programming Language Approach to Explainable Graph LearningMinseok Jeon, Jihyeok Park, and Hakjoo OhPLDI 2024: 45th ACM SIGPLAN Conference on Programming Language Design and Implementation[pdf]
2023
- SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical ModelsSunbeom So and Hakjoo OhESEC/FSE 2023: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering[pdf]
- V1SCAN: Discovering 1-day Vulnerabilities in Reused C/C++ Open-source Software Components Using Code Classification TechniquesSeunghoon Woo, Eunjin Choi, Heejo Lee, and Hakjoo OhSecurity 2023: 32nd USENIX Security Symposium[pdf]
- Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-Bounded Exhaustive SearchDongkwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun YiTOPLAS: ACM Transactions on Programming Languages and Systems[pdf]
- Modular Component-Based Quantum Circuit SynthesisChan Gu Kang and Hakjoo OhOOPSLA 2023: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf]
- Automating Endurance Test for Flash-based Storage Devices in Samsung ElectronicsJinkook Kim, Minseok Jeon, Sejeong Jang, and Hakjoo OhICST 2023: IEEE International Conference on Software Testing, Verification and Validation
(Industry Track)[pdf]
- Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random MutationsJongwook Kim, Sunbeom So, and Hakjoo OhICSE 2023: International Conference on Software Engineering[pdf]
- Learning Seed-Adaptive Mutation Strategies for Greybox FuzzingMyungho Lee, Sooyoung Cha, and Hakjoo OhICSE 2023: International Conference on Software Engineering[pdf]
- Learning to Boost Disjunctive Static Bug-FindersYoonseok Ko and Hakjoo OhICSE 2023: International Conference on Software Engineering[pdf]
2022
2021
- Enhancing Dynamic Symbolic Execution by Automatically Learning Search HeuristicsSooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, and Hakjoo OhTSE: IEEE Transactions on Software Engineering
(accepted)[pdf]
[artifact]
- Context-Aware and Data-Driven Feedback Generation for Programming AssignmentsDowon Song, Woosuk Lee, and Hakjoo OhESEC/FSE 2021: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering[pdf]
[artifact]
[media: etnews, hangyung]
- A Practical Algorithm for Learning Disjunctive Abstraction Heuristics in Static Program AnalysisDonghoon Jeon, Minseok Jeon, and Hakjoo OhInformation and Software Technology. Volume 135[publication]
- SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic ExecutionSunbeom So, Seongjoon Hong, and Hakjoo OhSecurity 2021: 30th USENIX Security Symposium[pdf]
- CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software ReuseSeunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, and Hakjoo OhICSE 2021: 43rd International Conference on Software Engineering[pdf]
[artifact]
[media: en, ko]
2020
- Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific FeaturesMinseok Jeon, Myungho Lee, and Hakjoo OhOOPSLA 2020: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf]
- Making Symbolic Execution Promising by Learning Aggressive State-Pruning StrategySooyoung Cha and Hakjoo OhESEC/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 StrategySeokhyun Lee, Sooyoung Cha, Dain Lee, and Hakjoo OhISSTA 2020: The ACM SIGSOFT International Symposium on Software Testing and Analysis🥇ACM SIGSOFT Distinguished Paper Award[pdf]
[artifact]
- Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term RewritingDongkwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun YiPLDI 2020: 41st ACM SIGPLAN Conference on Programming Language Design and Implementation[pdf]
- SAVER: Scalable, Precise, and Safe Memory-Error RepairSeongjoon Hong*, Junhee Lee*, Jeongsoo Lee, and Hakjoo Oh
(* contributed equally)ICSE 2020: 42nd International Conference on Software Engineering[pdf]
[artifact]
- VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart ContractsSunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo OhS&P 2020: 41st IEEE Symposium on Security and Privacy[pdf]
[artifact]
[benchmarks]
[video]
2019
- Automatic and Scalable Detection of Logical Errors in Functional Programming AssignmentsDowon Song, Myungho Lee, and Hakjoo OhOOPSLA 2019: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf]
[artifact]
- Concolic Testing with Adaptively Changing Search HeuristicsSooyoung Cha and Hakjoo OhESEC/FSE 2019: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering[pdf]
[artifact]
- Resource-aware Program Analysis via Online Abstraction CoarseningKihong Heo, Hakjoo Oh, and Hongseok YangICSE 2019: International Conference on Software Engineering🥇ACM SIGSOFT Distinguished Paper Award[pdf]
- A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program AnalysisMinseok 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 CJunhee 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]
[artifact]
- A Scalable Learning Algorithm for Data-Driven Program AnalysisSooyoung Cha, Sehun Jeong, and Hakjoo OhInformation and Software Technology[publication]
- Precise and Scalable Points-to Analysis via Data-Driven Context TunnelingMinseok Jeon, Sehun Jeong, and Hakjoo OhOOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[publication]
[pdf]
- Automatic Diagnosis and Correction of Logical Errors for Functional Programming AssignmentsJunho Lee, Dowon Song, Sunbeom So, and Hakjoo OhOOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[publication]
[pdf]
[artifact]
- Template-Guided Concolic Testing via Online LearningSooyoung Cha, Seonho Lee, and Hakjoo OhASE 2018: IEEE/ACM International Conference on Automated Software Engineering[pdf]
- Synthesizing Pattern Programs from ExamplesSunbeom So and Hakjoo OhIJCAI 2018: International Joint Conference on Artificial Intelligence[pdf]
- Automatically Generating Search Heuristics for Concolic TestingSooyoung Cha, Seongjoon Hong, Junhee Lee, and Hakjoo OhICSE 2018: International Conference on Software Engineering[pdf]
[artifact]
- Adaptive Static Analysis via Learning with Bayesian OptimizationKihong Heo, Hakjoo Oh, Hongseok Yang, and Kwangkeun YiTOPLAS: ACM Transactions on Programming Languages and Systems[pdf]
- Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static AnalysesKihong Heo, Hakjoo Oh, and Hongseok YangFMSD: Formal Methods in System DesignInvited Paper[publication]
2017
- Data-Driven Context-Sensitivity for Points-to AnalysisSehun Jeong*, Minseok Jeon*, Sungdeok Cha, and Hakjoo Oh
(* contributed equally)OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[publication]
[pdf]
[slides]
[poster]
- Automatically Generating Features for Learning Program Analysis Heuristics for C-like LanguagesKwonsoo Chae, Hakjoo Oh, Kihong Heo, and Hongseok YangOOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[publication]
[pdf]
[slides]
[poster]
- Synthesizing Imperative Programs from Examples Guided by Static AnalysisSunbeom So and Hakjoo OhSAS 2017: Static Analysis Symposium[pdf]
[artifact]
- Sound Non-Statistical Clustering of Static Analysis AlarmsWoosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, and Kwangkeun YiTOPLAS: ACM Transactions on Programming Languages and Systems[pdf]
- End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory NetworksMin-je Choi, Sehun Jeong, Hakjoo Oh, and Jaegul ChooIJCAI 2017: International Joint Conference on Artificial Intelligence[pdf]
- VUDDY: A Scalable Approach for Vulnerable Code Clone DiscoverySeulbae Kim, Seunghoon Woo, Heejo Lee, and Hakjoo OhS&P 2017: IEEE Symposium on Security and Privacy[pdf]
- Machine-Learning-Guided Selectively Unsound Static AnalysisKihong Heo, Hakjoo Oh, and Kwangkeun YiICSE 2017: International Conference on Software Engineering[pdf]
- Selective Conjunction of Context-Sensitivity and Octagon Domain toward Scalable and Precise Global Static AnalysisKihong Heo, Hakjoo Oh, and Kwangkeun YiSP&E: Software-Practice and Experience. 2017[pdf]
2016
- Synthesizing Regular Expressions from Examples for Introductory Automata AssignmentsMina Lee*, Sunbeom So*, and Hakjoo Oh
(* contributed equally)GPCE 2016: ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences[pdf]
[artifact]
- Learning a Strategy for Choosing Widening Thresholds from a Large CodebaseSooyoung Cha, Sehun Jeong, and Hakjoo OhAPLAS 2016: Asian Symposium on Programming Languages and Systems[pdf]
- Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static AnalysisKihong Heo, Hakjoo Oh, and Hongseok YangSAS 2016: Static Analysis Symposium[pdf]
- Selective X-Sensitive Analysis Guided by Impact Pre-AnalysisHakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun YiTOPLAS: ACM Transactions on Programming Languages and Systems. 38(2). 2016[pdf]
- Widening with Thresholds via Binary SearchSol Kim, Kihong Heo, Hakjoo Oh, and Kwangkeun YiSP&E: Software-Practice and Experience. 2016[pdf]
- Automated Source Code Instrumentation for Verifying Potential VulnerabilitiesHongzhe Li, Jaesang Oh, Hakjoo Oh, and Heejo LeeIFIP SEC 2016: International Information Security and Privacy Conference[pdf]
2015
2014
- Global Sparse Analysis FrameworkHakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, and Kwangkeun YiTOPLAS: ACM Transactions on Programming Languages and Systems. vol. 36, Issue 3. Sept. 2014[pdf]
- A Progress Bar for Static AnalyzersWoosuk Lee, Hakjoo Oh, and Kwangkeun YiSAS 2014: Static Analysis Symposium[pdf]
- Selective Context-Sensitivity Guided by Impact Pre-AnalysisHakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun YiPLDI 2014: ACM SIGPLAN Conference on Programming Language Design and Implementation[pdf]
[slides]
- A Sparse Evaluation Technique for Detailed Semantic AnalysesYoonseok Ko, Kihong Heo, and Hakjoo OhComputer Languages, Systems, and Structures. vol. 40, Issues 3-4. 2014[pdf]
2013
2012
2011
2010
2009
Software Analysis Lab. @ Korea University