-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
179 lines (172 loc) · 6.88 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
<!DOCTYPE html
PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://w3.org/TR.html1/DTD/xhtml-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="euc-kr">
<head>
<title> Philip Wontae Choi </title>
</head>
<style>
ul { margin-top:8px; }
li { padding-bottom:3px; }
h3 { margin-bottom:0px; border-bottom:1px solid; border-color:#bbbbbb; color:#444444;}
h4 { margin-bottom:0px; margin-top:8px; color:#5680e9;}
a { color:#8860d0;}
.me {color:#5ab9ea;}
</style>
<body style="margin-top:0px; margin-bottom:0px; background-color:grey;">
<div style="width:800px; margin:10px auto; padding:20px; background-color:white; color:#333333; border-radius:10px;">
<table>
<tr>
<td>
<img src="photo/wtchoi.jpg" style="border:1px solid #000000" alt="Wontae Choi"/>
</td>
<td>
<span>
<b>Wontae Choi</b><br>
I am a Senior Software Engineer at Google, working on a static security analysis tool
for Android applications (internally known as DeepDive). Previously, I have worked on various programming
system research projects.
</span>
</td>
</tr>
</table>
<h3>Education</h3>
<ul>
<li>Dec. 2017, Ph.D, EECS, UC Berkeley (advisors:
<a href="http://cs.berkeley.edu/~ksen">Koushik Sen</a> and
<a href="http://cs.berkeley.edu/~necula">George Necula</a>)</li>
<li>Aug 2010, M.S., EECS, Seoul National University (adviser: <a href="http://ropas.snu.ac.kr/~kwang">Kwangkeun Yi</a>)</li>
<li>Mar 2008, B.S., CS, Seoul National University</li>
</ul>
<h3>Research Interest</h3>
<ul>
<li>Static and Dynamic Program Analysis</li>
<li>Test Automation</li>
<li>Types and Semantics</li>
<li>Compilers</li>
</ul>
<!--
<h3>Current Research Projects</h3>
<ul>
<li><b>SwiftHand2</b>: an automated testing tool for GUI applications. (2015-current)</li>
<li><b>STAR</b>: a scalable flow-and-context sensitive taint analyzer for Android apps. (2015-current)</li>
</ul>
-->
<h3>Peer-Reviewed Papers</h3>
<h4>Test Automation</h4>
<ul>
<li>
<!--<span style="color:#DC7633;"><b>[New]</b></span>-->
<b>Guide Me to Exploit: Assisted ROP Exploit Generation for Language Virtual Machine</b>
<!--[<a href="paper/acsac20.pdf">pdf</a>]-->
<br>Fadi Yilmaz, Meera Sridhar, Wontae Choi</br>
ACSAC'20
</li>
<li>
<b>Experimental Analysis & Refinement of a Guided Exploit Generation Technique for Language Virtual Machines</b>
<!--[<a href="paper/laser20.pdf">pdf</a>]-->
<br>Fadi Yilmaz, Meera Sridhar, Wontae Choi</br>
LASER Workshop'20
</li>
<li>
<b>
DetReduce: Minimizing Android GUI Test Suites for Regression Testing</b>
[<a href="paper/icse18.pdf">pdf</a> / <a href="pt/icse18.pdf">slide</a>]
<br>Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang</br>
ICSE'18
</li>
<li>
<b>
MultiSE: multi-path symbolic execution using value summaries
</b>
[<a href="paper/fse15.pdf">pdf</a>]
<br>
Koushik Sen, George C. Necula, Liang Gong, Wontae Choi
</br>
FSE'15 (best paper)
</li>
<li>
<b>Guided GUI Testing of Android Applications with Minimal Restart and Approximate Learning</b>
[<a href="paper/oopsla13.pdf">pdf</a> / <a href="pt/oopsla13.pdf">slide</a> / <a href="http://github.com/wtchoi/SwiftHand">git</a>]
<br>
Wontae Choi, George Necula, Koushik Sen
</br>
OOPSLA'13
</li>
</ul>
<h4>Programming Language and Compilers</h4>
<ul>
<li>
<b> A Scalable, Flow-and-Context-Sensitive Taint Analysis of Android Applications</b>
[<a href="https://www.sciencedirect.com/science/article/pii/S1045926X18302064">journal</a> / <a href="paper/comlan19_pre.pdf">pdf</a>]
<br>Wontae Choi, Jayanthkumar Kannan, Domagoj Babic</br>
Journal of Computer Languages, Volume 51, April 2019
</li>
<li>
<b>
SJS: A Type System for JavaScript with Fixed Object Layout</b>
[<a href="paper/sas15.pdf">pdf</a> / <a href="https://www.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-13.html">tech memo</a> / <a href="pt/sas15.pdf">slide</a>]
<br>Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
</br>
SAS'15
</li>
<li>
<b>The Implicit Calculus: A New Foundation for Generic Programming</b>
[<a href="paper/pldi12.pdf">pdf</a>]
<br>
Bruno C.d.S Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
<br>
PLDI'12
</li>
<li>
<b>Static Analysis for Multi-Staged Programs via Unstaging Translation</b>
[<a href="paper/popl11.pdf ">pdf</a> / <a href="http://rosaec.snu.ac.kr/publish/2010/techmemo/ROSAEC-2010-009.pdf">tech memo</a> / <a href="pt/popl11.pdf">slide</a>]
<br>
Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta<br>
POPL'11
</li>
<li>
<b>Abstract Parsing for Two-staged Languages with Concatenation</b>
[<a href="paper/gpce09.pdf">pdf</a>]<br>
Soonho Kong, Wontae Choi, Kwangkeun Yi<br>
GPCE'09
</li>
<li>
<b>PCC Framework for Program Generators</b>
[<a href="paper/pcc09.pdf">pdf</a>]<br>
Soonho Kong, Wontae Choi, Kwangkeun Yi<br>
PCC Workshop'09
</li>
</ul>
<h3>Working Experiences</h3>
<ul>
<li> Research Internship @ Google (2015 Summer) </li>
<li> Research Internship @ Samsung Research America (2013 Summer, 2014 Summer)</li>
<li> Research Associate @ ROSAEC SNU (2010-2011) </li>
</ul>
<h3>Professional Activities</h3>
<ul>
<li>Undergraduate Research Mentor:
<a href="https://www.linkedin.com/in/yunpark93/"</a>Yun Park</a> (2013 Fall),
<a href="http://wenyu.io">Wenyu Wang</a> (2016 Summer) </li>
<!--<li>Journal Reviewer: IEEE Access'17, IEEE TSE'17, Elsevier IST'17, -->
</li>
<li>Conference Sub-Reviewer: SAS'09, ESOP'11, FSE'12, POPL'12, OOPSLA'13, POPL'14, PLDI'14, CAV'14, POPL'15, PLDI'15, CAV'15, ASPLOS'15, ICSE'15, ISSTA'15, Mobisoft'15, ISSTA'16, PLDI'17, SAS'18</li>
</ul>
<h3>Teaching</h3>
<ul>
<li>Spring 2016, Teaching Assistant, <a href="https://sites.google.com/site/cs164spring2016/">UC Berkeley CS164, Programming Languages and Compilers</a></li>
<li>Spring 2014, Teaching Assistant, <a href="https://sites.google.com/site/cs164spring2014/">UC Berkeley CS164, Programming Languages and Compilers</a></li>
<li>Spring 2009, Teaching Assistant, <a href="http://ropas.snu.ac.kr/~kwang/4541.664A/09">SNU 4541.664A, Program Analysis</a></li>
<li>Fall 2008, Teaching Assistant, <a href="http://ropas.snu.ac.kr/~kwang/4190.210/08">SNU 4190.210, Principles of Programming</a></li>
<li>Fall 2008, Teaching Assistant, <a href="http://ropas.snu.ac.kr/~kwang/4190.310/08">SNU 4190.310, Programming Languages</a></li>
</ul>
<hr></hr>
<span>
<!-- Phone : +82-02-880-1865 (Lab.)<br></br> -->
Email : wtchoi.kr(at)gmail.com</br>
Address : 6363 Christie Ave #1126, Emeryville, CA 94608, United Stated
</span>
</div>
</body>
</html>