Hakjoo Oh

VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery

Seulbae Kim, Seunghoon Woo, Heejo Lee et al. · 2017 · 342 citations

Software Maintenance, Engineering, Software Engineering +18

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

Sunbeom So, Myungho Lee, Jisu Park et al. · 2020 · 135 citations · Full text

Engineering, Information Security, Verification +24

Design and implementation of sparse global analyses for C-like languages

Hakjoo Oh, Kihong Heo, Wonchan Lee et al. · 2012 · 84 citations

Global Static Analyzer, Engineering, Compiler Technology +23

Selective context-sensitivity guided by impact pre-analysis

Hakjoo Oh, Wonchan Lee, Kihong Heo et al. · 2014 · 78 citations

Engineering, Measurement, Safety Science +22

Data-driven context-sensitivity for points-to analysis

Sehun Jeong, Minseok Jeon, Sungdeok Cha et al. · Proceedings of the ACM on Programming Languages · 2017 · 63 citations · Full text

Engineering, Software Engineering, Source Code Analysis +25