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 × United Kingdom
2 × USA
Collaborated with:
K.Yi B.Wang W.Lee H.Oh K.Heo Y.Jung H.Yang B.C.d.S.Oliveira T.Schrijvers W.Choi
Talks about:
analysi (3) learn (2) implement (1) algorithm (1) quantifi (1) implicit (1) calculus (1) statist (1) program (1) languag (1)

Person: Wonchan Lee

DBLP DBLP: Lee:Wonchan

Contributed to:

PLDI 20142014
CAV 20122012
PLDI 20122012
VMCAI 20122012
TACAS 20112011

Wrote 6 papers:

PLDI-2014-OhLHYY #context-sensitive grammar
Selective context-sensitivity guided by impact pre-analysis (HO, WL, KH, HY, KY), p. 49.
CAV-2012-LeeWY #algorithm #analysis #learning #termination
Termination Analysis with Algorithmic Learning (WL, BYW, KY), pp. 88–104.
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.
PLDI-2012-OliveiraSCLY #calculus #programming
The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.
VMCAI-2012-LeeLY #clustering #static analysis #statistics
Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.
TACAS-2011-JungLWY #generative #invariant #quantifier
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.
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.