OhHakjoo

发表

Selective context-sensitivity guided by impact pre-analysis

OhHakjoo, LeeWonchan, HeoKihong, 2014 .

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

OhHakjoo, LeeWonchan, HeoKihong, 2015 .

Global Sparse Analysis Framework

OhHakjoo, LeeWonchan, HeoKihong, 2014 .

Automatically generating features for learning program analysis heuristics for C-like languages

OhHakjoo, HeoKihong, YangHongseok, 2017 .

Learning a strategy for adapting a program analysis via bayesian optimisation

OhHakjoo, YangHongseok, YiKwangkeun, 2015 .

Adaptive Static Analysis via Learning with Bayesian Optimization

OhHakjoo, HeoKihong, YangHongseok, 2018 .

Synthesizing regular expressions from examples for introductory automata assignments

OhHakjoo, LeeMina, SoSunbeom, 2016 .

Precise and scalable points-to analysis via data-driven context tunneling

OhHakjoo, JeonMinseok, JeongSehun, 2018 .

Automatic diagnosis and correction of logical errors for functional programming assignments

OhHakjoo, SoSunbeom, LeeJunho, 2018 .

Sound Non-Statistical Clustering of Static Analysis Alarms

OhHakjoo, LeeWonchan, HeoKihong, 2017 .

Data-driven context-sensitivity for points-to analysis

OhHakjoo, ChaSungdeok, JeonMinseok, 2017 .