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: Choi:Wontae
Contributed to:
2015
2015
2013
2012
2011
2009Wrote 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.