Hakjoo Oh

VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery

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

Computing, Computer Engineering, Computer Science +14

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

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

Computing, Computer Engineering, Computer Science +10

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

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

Computing, Computer Science, Formal Methods +12

Selective context-sensitivity guided by impact pre-analysis

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

Computing, Computer Engineering, Decision Analysis +9

Data-driven context-sensitivity for points-to analysis

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

Computing, Computer Engineering, Computer Science +16