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 × France
1 × Germany
1 × USA
Collaborated with:
K.Yi H.Oh W.Lee K.Heo M.Naik H.Hong J.H.Cheon R.Alur X.Si R.Zhang A.Albarghouthi P.Koutris
Talks about:
static (3) synthesi (2) program (2) analysi (2) probabilist (1) implement (1) progress (1) statist (1) secreci (1) languag (1)

Person: Woosuk Lee

DBLP DBLP: Lee:Woosuk

Contributed to:

SAS 20152015
SAS 20142014
PLDI 20122012
VMCAI 20122012
ESEC/FSE 20182018
PLDI 20182018

Wrote 6 papers:

SAS-2015-LeeHYC #static analysis
Static Analysis with Set-Closure in Secrecy (WL, HH, KY, JHC), pp. 18–35.
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-2012-LeeLY #clustering #static analysis #statistics
Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.
ESEC-FSE-2018-SiLZAKN #datalog #source code #synthesis
Syntax-guided synthesis of Datalog programs (XS, WL, RZ, AA, PK, MN), pp. 515–527.
PLDI-2018-LeeHAN #modelling #probability #search-based #synthesis #using
Accelerating search-based program synthesis using learned probabilistic models (WL, KH, RA, MN), pp. 436–449.
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.