Wontae Choi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2009–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ACSAC | Guide Me to Exploit: Assisted ROP Exploit Generation for ActionScript Virtual Machine. | Fadi Yilmaz, Meera Sridhar, Wontae Choi |
| 2018 | ICSE | DetReduce: minimizing Android GUI test suites for regression testing. | Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang |
| 2015 | SAS | SJS: A Type System for JavaScript with Fixed Object Layout. | Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen |
| 2013 | OOPSLA | Guided GUI testing of android apps with minimal restart and approximate learning. | Wontae Choi, George C. Necula, Koushik Sen |
| 2012 | PLDI | The implicit calculus: a new foundation for generic programming. | Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi |
| 2011 | POPL | Static analysis of multi-staged programs via unstaging translation. | Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta |
| 2009 | GPCE | Abstract parsing for two-staged languages with concatenation. | Soonho Kong, Wontae Choi, Kwangkeun Yi |