BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × Italy
3 × USA
Collaborated with:
K.Sen G.C.Necula K.Yi S.Kong L.Gong S.Chandra B.Aktemur M.Tatsuta B.C.d.S.Oliveira T.Schrijvers W.Lee
Talks about:
multi (3) program (2) stage (2) javascript (1) translat (1) implicit (1) concaten (1) calculus (1) approxim (1) abstract (1)

Person: Wontae Choi

DBLP DBLP: Choi:Wontae

Contributed to:

ESEC/FSE 20152015
SAS 20152015
OOPSLA 20132013
PLDI 20122012
POPL 20112011
GPCE 20092009

Wrote 6 papers:

ESEC-FSE-2015-SenNGC #execution #multi #named #summary #symbolic computation #using
MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.
SAS-2015-ChoiCNS #javascript #layout #named #type system
SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.
OOPSLA-2013-ChoiNS #android #approximate #learning #testing #user interface
Guided GUI testing of android apps with minimal restart and approximate learning (WC, GCN, KS), pp. 623–640.
PLDI-2012-OliveiraSCLY #calculus #programming
The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.
POPL-2011-ChoiAYT #multi #source code #static analysis
Static analysis of multi-staged programs via unstaging translation (WC, BA, KY, MT), pp. 81–92.
GPCE-2009-KongCY #parsing
Abstract parsing for two-staged languages with concatenation (SK, WC, KY), pp. 109–116.

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.