Hakjoo Oh

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 57

Top Topics

Programming Assignments

Pruning Strategy

Static Analysis

Top Venues

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

Publications

Minseok Jeon, Jihyeok Park, Hakjoo Oh
PL4XGL: A Programming Language Approach to Explainable Graph Learning. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Yoonseok Ko, Hakjoo Oh
Learning to Boost Disjunctive Static Bug-Finders. ICSE (2023)
Chan Gu Kang, Hakjoo Oh
Modular Component-Based Quantum Circuit Synthesis. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Jongwook Kim, Sunbeom So, Hakjoo Oh
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. ICSE (2023)
Sunbeom So, Hakjoo Oh
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. ESEC/SIGSOFT FSE (2023)
Jinkook Kim, Minseok Jeon, Sejeong Jang, Hakjoo Oh
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics. ICST (2023)
Seunghoon Woo, Eunjin Choi, Heejo Lee, Hakjoo Oh
V1SCAN: Discovering 1-day Vulnerabilities in Reused C/C++ Open-source Software Components Using Code Classification Techniques. USENIX Security Symposium (2023)
DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Myungho Lee, Sooyoung Cha, Hakjoo Oh
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. ICSE (2023)
Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh
SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters. ICSE (2022)
Sooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, Hakjoo Oh
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. IEEE Trans. Software Eng. 48 (9) (2022)
Minseok Jeon, Hakjoo Oh
Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs. Proc. ACM Program. Lang. 6 (POPL) (2022)
Junhee Lee, Seongjoon Hong, Hakjoo Oh
NPEX: Repairing Java Null Pointer Exceptions without Tests. ICSE (2022)
Wonseok Oh, Hakjoo Oh
PyTER: effective program repair for Python type errors. ESEC/SIGSOFT FSE (2022)
Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh
Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse. ICSE (2021)
Dowon Song, Woosuk Lee, Hakjoo Oh
Context-aware and data-driven feedback generation for programming assignments. ESEC/SIGSOFT FSE (2021)
Sunbeom So, Seongjoon Hong, Hakjoo Oh
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. USENIX Security Symposium (2021)
Donghoon Jeon, Minseok Jeon, Hakjoo Oh
A practical algorithm for learning disjunctive abstraction heuristics in static program analysis. Inf. Softw. Technol. 135 (2021)
Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse. CoRR (2021)
Sooyoung Cha, Hakjoo Oh
Making symbolic execution promising by learning aggressive state-pruning strategy. ESEC/SIGSOFT FSE (2020)
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. IEEE Symposium on Security and Privacy (2020)
DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. PLDI (2020)
Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh
Effective white-box testing of deep neural networks with adaptive neuron-selection strategy. ISSTA (2020)
Minseok Jeon, Myungho Lee, Hakjoo Oh
Learning graph-based heuristics for pointer analysis without handcrafting application-specific features. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh
SAVER: scalable, precise, and safe memory-error repair. ICSE (2020)
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts. CoRR (2019)
Kihong Heo, Hakjoo Oh, Hongseok Yang
Resource-aware program analysis via online abstraction coarsening. ICSE (2019)
Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Sooyoung Cha, Seongjoon Hong, Jingyoung Kim, Junhee Lee, Hakjoo Oh
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. CoRR (2019)
Sooyoung Cha, Hakjoo Oh
Concolic testing with adaptively changing search heuristics. ESEC/SIGSOFT FSE (2019)
Dowon Song, Myungho Lee, Hakjoo Oh
Automatic and scalable detection of logical errors in functional programming assignments. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Trans. Program. Lang. Syst. 40 (4) (2018)
Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh
Automatically generating search heuristics for concolic testing. ICSE (2018)
Junho Lee, Dowon Song, Sunbeom So, Hakjoo Oh
Automatic diagnosis and correction of logical errors for functional programming assignments. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Kihong Heo, Hakjoo Oh, Hongseok Yang
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. Formal Methods Syst. Des. 53 (2) (2018)
Sooyoung Cha, Sehun Jeong, Hakjoo Oh
A scalable learning algorithm for data-driven program analysis. Inf. Softw. Technol. 104 (2018)
Sunbeom So, Hakjoo Oh
Synthesizing Pattern Programs from Examples. IJCAI (2018)
Minseok Jeon, Sehun Jeong, Hakjoo Oh
Precise and scalable points-to analysis via data-driven context tunneling. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Sooyoung Cha, Seonho Lee, Hakjoo Oh
Template-guided concolic testing via online learning. ASE (2018)
Junhee Lee, Seongjoon Hong, Hakjoo Oh
MemFix: static analysis-based repair of memory deallocation errors for C. ESEC/SIGSOFT FSE (2018)
Sehun Jeong, Minseok Jeon, Sung Deok Cha, Hakjoo Oh
Data-driven context-sensitivity for points-to analysis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. IJCAI (2017)
Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. CoRR (2017)
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
Automatically generating features for learning program analysis heuristics for C-like languages. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Softw. Pract. Exp. 47 (11) (2017)
Sunbeom So, Hakjoo Oh
Synthesizing Imperative Programs for Introductory Programming Assignments. CoRR (2017)
Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh
VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery. IEEE Symposium on Security and Privacy (2017)
Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Machine-learning-guided selectively unsound static analysis. ICSE (2017)
Sunbeom So, Hakjoo Oh
Synthesizing Imperative Programs from Examples Guided by Static Analysis. SAS (2017)
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Sound Non-Statistical Clustering of Static Analysis Alarms. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Mina Lee, Sunbeom So, Hakjoo Oh
Synthesizing regular expressions from examples for introductory automata assignments. GPCE (2016)
Sooyoung Cha, Sehun Jeong, Hakjoo Oh
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. APLAS (2016)
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Trans. Program. Lang. Syst. 38 (2) (2016)
Hongzhe Li, Jaesang Oh, Hakjoo Oh, Heejo Lee
Automated Source Code Instrumentation for Verifying Potential Vulnerabilities. SEC (2016)
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
Automatically generating features for learning program analysis heuristics. CoRR (2016)
Kihong Heo, Hakjoo Oh, Hongseok Yang
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. SAS (2016)
Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Widening with thresholds via binary search. Softw. Pract. Exp. 46 (10) (2016)
Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
Learning a strategy for adapting a program analysis via bayesian optimisation. OOPSLA (2015)
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. 36 (3) (2014)
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
Selective context-sensitivity guided by impact pre-analysis. PLDI (2014)
Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
A Progress Bar for Static Analyzers. SAS (2014)
Yoonseok Ko, Kihong Heo, Hakjoo Oh
A sparse evaluation technique for detailed semantic analyses. Comput. Lang. Syst. Struct. 40 (3-4) (2014)
Hakjoo Oh, Kwangkeun Yi
Access-based abstract memory localization in static analysis. Sci. Comput. Program. 78 (9) (2013)
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
Design and implementation of sparse global analyses for C-like languages. PLDI (2012)
Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi
Access Analysis-Based Tight Localization of Abstract Memories. VMCAI (2011)
Hakjoo Oh, Kwangkeun Yi
Access-Based Localization with Bypassing. APLAS (2011)
Hakjoo Oh, Kwangkeun Yi
An algorithmic mitigation of large spurious interprocedural cycles in static analysis. Softw. Pract. Exp. 40 (8) (2010)
Yungbum Jung, Hakjoo Oh, Kwangkeun Yi
Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM (2009)
Hakjoo Oh
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. APLAS (2009)