| 2023 | ICSE | Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. | Jongwook Kim, Sunbeom So, Hakjoo Oh |
| 2023 | ICSE | Learning to Boost Disjunctive Static Bug-Finders. | Yoonseok Ko, Hakjoo Oh |
| 2023 | ICSE | Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. | Myungho Lee, Sooyoung Cha, Hakjoo Oh |
| 2023 | ICST | Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics. | Jinkook Kim, Minseok Jeon, Sejeong Jang, Hakjoo Oh |
| 2022 | ICSE | SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters. | Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh |
| 2022 | ICSE | NPEX: Repairing Java Null Pointer Exceptions without Tests. | Junhee Lee, Seongjoon Hong, Hakjoo Oh |
| 2021 | ICSE | Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse. | Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh |
| 2020 | ICSE | SAVER: scalable, precise, and safe memory-error repair. | Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh |
| 2020 | ISSTA | Effective white-box testing of deep neural networks with adaptive neuron-selection strategy. | Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh |
| 2020 | PLDI | Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. | DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2020 | SP | VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. | Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh |
| 2019 | ICSE | Resource-aware program analysis via online abstraction coarsening. | Kihong Heo, Hakjoo Oh, Hongseok Yang |
| 2018 | IJCAI | Synthesizing Pattern Programs from Examples. | Sunbeom So, Hakjoo Oh |
| 2018 | ICSE | Automatically generating search heuristics for concolic testing. | Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh |
| 2017 | IJCAI | End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. | Minje Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo |
| 2017 | ICSE | Machine-learning-guided selectively unsound static analysis. | Kihong Heo, Hakjoo Oh, Kwangkeun Yi |
| 2017 | SP | VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery. | Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh |
| 2017 | SAS | Synthesizing Imperative Programs from Examples Guided by Static Analysis. | Sunbeom So, Hakjoo Oh |
| 2016 | APLAS | Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. | Sooyoung Cha, Sehun Jeong, Hakjoo Oh |
| 2016 | GPCE | Synthesizing regular expressions from examples for introductory automata assignments. | Mina Lee, Sunbeom So, Hakjoo Oh |
| 2016 | SAS | Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. | Kihong Heo, Hakjoo Oh, Hongseok Yang |
| 2016 | SEC | Automated Source Code Instrumentation for Verifying Potential Vulnerabilities. | Hongzhe Li, Jaesang Oh, Hakjoo Oh, Heejo Lee |
| 2015 | OOPSLA | Learning a strategy for adapting a program analysis via bayesian optimisation. | Hakjoo Oh, Hongseok Yang, Kwangkeun Yi |
| 2014 | PLDI | Selective context-sensitivity guided by impact pre-analysis. | Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi |
| 2014 | SAS | A Progress Bar for Static Analyzers. | Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2012 | PLDI | Design and implementation of sparse global analyses for C-like languages. | Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi |
| 2011 | APLAS | Access-Based Localization with Bypassing. | Hakjoo Oh, Kwangkeun Yi |
| 2011 | VMCAI | Access Analysis-Based Tight Localization of Abstract Memories. | Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi |
| 2009 | APLAS | Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. | Hakjoo Oh |
| 2009 | CIKM | Identifying static analysis techniques for finding non-fix hunks in fix revisions. | Yungbum Jung, Hakjoo Oh, Kwangkeun Yi |