Travelled to:1 × China
1 × Germany
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:K.Yi S.Cha H.Yang K.Heo S.So S.Jeong Minseok Jeon Dowon Song W.Lee W.Lee L.Brutschy M.Lee S.Lee J.Lee S.Hong Myungho Lee Kwonsoo Chae S.D.Cha Junho Lee
Talks about:analysi (7) program (4) context (3) automat (3) assign (3) learn (3) error (3) function (2) scalabl (2) languag (2)
Person: Hakjoo Oh
DBLP: Oh:Hakjoo
Contributed to:
2015
2014
20142012
2011
2016
2018
20182019201720182019Wrote 14 papers:
- OOPSLA-2015-OhYY #adaptation #learning #optimisation #program analysis
- Learning a strategy for adapting a program analysis via bayesian optimisation (HO, HY, KY), pp. 572–588.
- PLDI-2014-OhLHYY #context-sensitive grammar
- Selective context-sensitivity guided by impact pre-analysis (HO, WL, KH, HY, KY), p. 49.
- SAS-2014-LeeOY
- A Progress Bar for Static Analyzers (WL, HO, KY), pp. 184–200.
- PLDI-2012-OhHLLY #analysis #design #implementation
- Design and implementation of sparse global analyses for C-like languages (HO, KH, WL, WL, KY), pp. 229–238.
- VMCAI-2011-OhBY #locality
- Access Analysis-Based Tight Localization of Abstract Memories (HO, LB, KY), pp. 356–370.
- GPCE-2016-LeeSO #automaton #regular expression
- Synthesizing regular expressions from examples for introductory automata assignments (ML, SS, HO), pp. 70–80.
- ASE-2018-ChaLO #learning #online #testing
- Template-guided concolic testing via online learning (SC, SL, HO), pp. 408–418.
- ESEC-FSE-2018-LeeHO #c #fault #memory management #named #static analysis
- MemFix: static analysis-based repair of memory deallocation errors for C (JL, SH, HO), pp. 95–106.
- ESEC-FSE-2019-ChaO #adaptation #heuristic #testing
- Concolic testing with adaptively changing search heuristics (SC, HO), pp. 235–245.
- OOPSLA-2017-ChaeOHY #automation #generative #heuristic #learning #program analysis
- Automatically generating features for learning program analysis heuristics for C-like languages (KC, HO, KH, HY), p. 25.
- OOPSLA-2017-JeongJCO #analysis #context-sensitive grammar #data-driven #points-to
- Data-driven context-sensitivity for points-to analysis (SJ, MJ, SDC, HO), p. 28.
- OOPSLA-2018-JeonJO #analysis #data-driven #points-to #precise #scalability
- Precise and scalable points-to analysis via data-driven context tunneling (MJ, SJ, HO), p. 29.
- OOPSLA-2018-LeeSSO #automation #fault #functional #logic #programming
- Automatic diagnosis and correction of logical errors for functional programming assignments (JL, DS, SS, HO), p. 30.
- OOPSLA-2019-SongLO #automation #detection #fault #functional #logic #programming #scalability
- Automatic and scalable detection of logical errors in functional programming assignments (DS, ML, HO), p. 30.