Hakjoo Oh
Korea University
H-index: 23
Asia-South Korea
Top articles of Hakjoo Oh
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
DIVER: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations | Jongwook Kim Sunbeom So Hakjoo Oh | 2023/5/14 | |
Method for feedback of program | 2023/5/11 | ||
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models | Sunbeom So Hakjoo Oh | 2023/11/30 | |
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics | Jinkook Kim Minseok Jeon Sejeong Jang Hakjoo Oh | 2023/4/16 | |
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search | ACM Transactions on Programming Languages and Systems | Dongkwon Lee Woosuk Lee Hakjoo Oh Kwangkeun Yi | 2023/9/22 |
Modular Component-Based Quantum Circuit Synthesis | Proceedings of the ACM on Programming Languages | Chan Gu Kang Hakjoo Oh | 2023/4/6 |
Learning seed-adaptive mutation strategies for greybox fuzzing | Myungho Lee Sooyoung Cha Hakjoo Oh | 2023/5/14 | |
{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 | 2023 | |
Learning to Boost Disjunctive Static Bug-Finders | Yoonseok Ko Hakjoo Oh | 2023/5/14 | |
Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs | Proceedings of the ACM on Programming Languages | Minseok Jeon Hakjoo Oh | 2022/1/11 |
Apparatus and method for obtaining vulnerable transaction sequence in smart contract | 2022/11/10 | ||
PyTER: effective program repair for Python type errors | Wonseok Oh Hakjoo Oh | 2022/11/7 | |
SymTuner: maximizing the power of symbolic execution by adaptively tuning external parameters | Sooyoung Cha Myungho Lee Seokhyun Lee Hakjoo Oh | 2022/5/21 | |
Npex: Repairing java null pointer exceptions without tests | Junhee Lee Seongjoon Hong Hakjoo Oh | 2022/5/21 | |
Method for automatically pruning search space of symbolic execution via machine learning | 2022/4/7 | ||
Device and method for automatically repairing memory deallocation errors | 2021/2/16 | ||
{SmarTest}: Effectively hunting vulnerable transaction sequences in smart contracts through language {Model-Guided} symbolic execution | Sunbeom So Seongjoon Hong Hakjoo Oh | 2021 | |
Context-aware and data-driven feedback generation for programming assignments | Dowon Song Woosuk Lee Hakjoo Oh | 2021/8/20 | |
Enhancing dynamic symbolic execution by automatically learning search heuristics | IEEE Transactions on Software Engineering | Sooyoung Cha Seongjoon Hong Jiseong Bak Jingyoung Kim Junhee Lee | 2021/8/4 |
A practical algorithm for learning disjunctive abstraction heuristics in static program analysis | Information and Software Technology | Donghoon Jeon Minseok Jeon Hakjoo Oh | 2021/7/1 |