BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Oh:Hakjoo

Contributed to:

OOPSLA 20152015
PLDI 20142014
SAS 20142014
PLDI 20122012
VMCAI 20112011
GPCE 20162016
ASE 20182018
ESEC/FSE 20182018
ESEC/FSE 20192019
OOPSLA 20172017
OOPSLA 20182018
OOPSLA 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.