팔로우
Hakjoo Oh
Hakjoo Oh
Professor, Department of Computer Science and Engineering, Korea University
korea.ac.kr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Vuddy: A scalable approach for vulnerable code clone discovery
S Kim, S Woo, H Lee, H Oh
2017 IEEE Symposium on Security and Privacy (SP), 595-614, 2017
3382017
Design and implementation of sparse global analyses for C-like languages
H Oh, K Heo, W Lee, W Lee, K Yi
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1272012
VeriSmart: A highly precise safety verifier for Ethereum smart contracts
S So, M Lee, J Park, H Lee, H Oh
2020 IEEE Symposium on Security and Privacy (SP), 1678-1694, 2020
1222020
Selective context-sensitivity guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
972014
Learning a strategy for adapting a program analysis via bayesian optimisation
H Oh, H Yang, K Yi
ACM SIGPLAN Notices 50 (10), 572-588, 2015
692015
Synthesizing regular expressions from examples for introductory automata assignments
M Lee, S So, H Oh
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative …, 2016
682016
Data-driven context-sensitivity for points-to analysis
S Jeong, M Jeon, S Cha, H Oh
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
662017
Machine-learning-guided selectively unsound static analysis
K Heo, H Oh, K Yi
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
632017
{SmarTest}: Effectively hunting vulnerable transaction sequences in smart contracts through language {Model-Guided} symbolic execution
S So, S Hong, H Oh
30th USENIX Security Symposium (USENIX Security 21), 1361-1378, 2021
622021
End-to-end prediction of buffer overruns from raw source code via neural memory networks
M Choi, S Jeong, H Oh, J Choo
arXiv preprint arXiv:1703.02458, 2017
622017
Effective white-box testing of deep neural networks with adaptive neuron-selection strategy
S Lee, S Cha, D Lee, H Oh
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
552020
Memfix: static analysis-based repair of memory deallocation errors for c
J Lee, S Hong, H Oh
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
502018
Automatically generating features for learning program analysis heuristics for C-like languages
K Chae, H Oh, K Heo, H Yang
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017
402017
Learning a variable-clustering strategy for octagon from labeled data generated by a static analysis
K Heo, H Oh, H Yang
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
402016
Precise and scalable points-to analysis via data-driven context tunneling
M Jeon, S Jeong, H Oh
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
382018
Synthesizing imperative programs from examples guided by static analysis
S So, H Oh
International Static Analysis Symposium, 364-381, 2017
342017
Access analysis-based tight localization of abstract memories
H Oh, L Brutschy, K Yi
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
342011
CENTRIS: A precise and scalable approach for identifying modified open-source software reuse
S Woo, S Park, S Kim, H Lee, H Oh
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
302021
Automatically generating search heuristics for concolic testing
S Cha, S Hong, J Lee, H Oh
Proceedings of the 40th International Conference on Software Engineering …, 2018
302018
SAVER: scalable, precise, and safe memory-error repair
S Hong, J Lee, J Lee, H Oh
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
292020
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20