Hakjoo Oh
Hakjoo Oh
Associate Professor, Department of Computer Science and Engineering, Korea University
E-mail confirmado em korea.ac.kr - Página inicial
Título
Citado por
Citado por
Ano
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
972012
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
812017
Selective context-sensitivity guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
ACM SIGPLAN Notices 49 (6), 475-484, 2014
772014
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
452015
Access analysis-based tight localization of abstract memories
H Oh, L Brutschy, K Yi
International Workshop on Verification, Model Checking, and Abstract …, 2011
302011
Learning a variable-clustering strategy for octagon from labeled data generated by a static analysis
K Heo, H Oh, H Yang
International Static Analysis Symposium, 237-256, 2016
252016
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), 100, 2017
242017
Machine-learning-guided selectively unsound static analysis
K Heo, H Oh, K Yi
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
232017
Global sparse analysis framework
H Oh, K Heo, W Lee, W Lee, D Park, J Kang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (3), 1-44, 2014
232014
Large spurious cycle in global static analyses and its algorithmic mitigation
H Oh
Asian Symposium on Programming Languages and Systems, 14-29, 2009
212009
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), 101, 2017
192017
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
182018
Access-based localization with bypassing
H Oh, K Yi
Asian Symposium on Programming Languages and Systems, 50-65, 2011
162011
An algorithmic mitigation of large spurious interprocedural cycles in static analysis
H Oh, K Yi
Software: Practice and Experience 40 (8), 585-603, 2010
162010
Synthesizing imperative programs from examples guided by static analysis
S So, H Oh
International Static Analysis Symposium, 364-381, 2017
132017
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
132017
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
132016
Selective X-sensitive analysis guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (2), 1-45, 2015
122015
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
102018
Learning a strategy for choosing widening thresholds from a large codebase
S Cha, S Jeong, H Oh
Asian Symposium on Programming Languages and Systems, 25-41, 2016
92016
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20