Hakjoo Oh
Korea University(KR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Advanced Malware Detection Techniques, Parallel Computing and Optimization Techniques, Software Reliability and Analysis Research
Most-Cited Works
- → VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery(2017)345 cited
- → VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts(2020)136 cited
- → Design and implementation of sparse global analyses for C-like languages(2012)84 cited
- → Selective context-sensitivity guided by impact pre-analysis(2014)78 cited
- → Data-driven context-sensitivity for points-to analysis(2017)63 cited
- → Effective white-box testing of deep neural networks with adaptive neuron-selection strategy(2020)63 cited
- → An easily integrative and efficient micromixer and its application to the spectroscopic detection of glucose-catalyst reactions(2005)58 cited
- → End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks(2017)56 cited
- → Synthesizing regular expressions from examples for introductory automata assignments(2016)56 cited
- → Learning a strategy for adapting a program analysis via bayesian optimisation(2015)53 cited