-
Notifications
You must be signed in to change notification settings - Fork 0
/
cv.html
269 lines (233 loc) · 8.22 KB
/
cv.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
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
<!DOCTYPE html>
<html>
<head>
<title>Dimitrios Vardoulakis - Curriculum Vitae</title>
<link rel="stylesheet" href="cv.css">
</head>
<body>
<div id="title">Dimitrios Vardoulakis</div>
<div class="row">
<span class="title">CONTACT INFORMATION</span>
<span class="info">
<span class="left">
<div>email:<span id="email"></span></div>
<div>web: http://dimvar.github.io</div>
</span>
</span>
</div>
<div class="row">
<span class="title">RESEARCH INTERESTS</span>
<span class="info">
<span class="left">
Static analysis and compilation of higher-order languages, abstract
interpretation, semantics, continuations, concurrency theory.
</span>
</span>
</div>
<div class="row">
<span class="title">EMPLOYMENT</span>
<span class="info">
<span class="left">
<div><b>Software Engineer, Google</b></div>
<div>Working on the Closure compiler for JavaScript.</div>
</span>
<span class="right">July 2012 — present</span>
<span class="left">
<div><b>Research Assistant, Northeastern University</b></div>
<div>Supported by a Fellowship from Mozilla.</div>
</span>
<span class="right">Sep. 2010 — June 2012</span>
<span class="left">
<div><b>Research Intern, Mozilla Corporation</b></div>
<div>
Designed and implemented a static analysis for JavaScript based on CFA2
and used it for type inference of JavaScript programs.
The analysis has become the core component of DoctorJS, Mozilla's suite
of static-analysis tools for JavaScript.
</div>
</span>
<span class="right">May 2010 — Aug. 2010</span>
<span class="left">
<div><b>Teaching Assistant, Northeastern University</b></div>
<div>Compilers (Spring '10)</div>
<div>
Fundamentals of Computer Science 2
(Spring '06, Fall '06, Spring '07, Fall '07)
</div>
<div>
Introduction to Programming and Computing (Fall '05, Fall '09)
</div>
<div>
Logic and Computation (Spring '08, Fall '08, Spring '09)
</div>
<div>
Theory of Computation (Fall '07)
</div>
</span>
<span class="right">Sep. 2005 — May 2010</span>
</span>
</div>
<div class="row">
<span class="title">EDUCATION</span>
<span class="info">
<div>
<span class="left">
<div><b>Ph.D. in Computer Science</b></div>
<div>Northeastern University, Boston, MA</div>
<div>
Thesis: CFA2: Pushdown Flow Analysis for Higher-Order Languages
</div>
<div>Advisor: Olin Shivers</div>
</span>
<span class="right">2005 — 2012</span>
</div>
<div>
<span class="left">
<div><b>M.Sc. in Computer Science</b></div>
<div>Northeastern University, Boston, MA</div>
</span>
<span class="right">2005 — 2007</span>
</div>
<div>
<span class="left">
<div><b>B.Eng. in Electrical and Computer Engineering</b></div>
<div>National Technical University of Athens, Athens, Greece</div>
</span>
<span class="right">1999 — 2005</span>
</div>
</span>
</div>
<div class="row">
<span class="title">RESEARCH PAPERS</span>
<span class="info">
<span class="left">
<div class="papertitle">
In Defense of Soundiness: A Manifesto
</div>
<div>With Ben Livshits, Manu Sridharan, Yannis Smaragdakis et al.</div>
<div>Communications of the ACM, Vol. 58, Feb 2015.</div>
</span>
<span class="left">
<div class="papertitle">
CFA2: Pushdown Flow Analysis for Higher-Order Languages
</div>
<div>Dimitrios Vardoulakis</div>
<div>Ph.D. dissertation, 2012.</div>
</span>
<span class="left">
<div class="papertitle">
Pushdown Flow Analysis of First-Class Control
</div>
<div>Dimitrios Vardoulakis and Olin Shivers</div>
<div>
International Conference on Functional Programming (ICFP 2011).
</div>
</span>
<span class="left">
<div class="papertitle">
CFA2: a Context-Free Approach to Control-Flow Analysis
</div>
<div>Dimitrios Vardoulakis and Olin Shivers</div>
<div>Logical Methods in Computer Science, Vol. 7 (2:3), May 2011.</div>
</span>
<span class="left">
<div class="papertitle">
Ordering Multiple Continuations on the Stack
</div>
<div>Dimitrios Vardoulakis and Olin Shivers</div>
<div>
Workshop on Partial Evaluation and Program Manipulation (PEPM 2011).
</div>
</span>
<span class="left">
<div class="papertitle">
CFA2: a Context-Free Approach to Control-Flow Analysis
</div>
<div>Dimitrios Vardoulakis and Olin Shivers</div>
<div>
European Symposium on Programming (ESOP 2010).
</div>
</span>
<span class="left">
<div class="papertitle">
A Compositional Trace Semantics for Orc
</div>
<div>Dimitrios Vardoulakis and Mitchell Wand</div>
<div>
International Conf. on Coordination Models and Languages
(COORDINATION 2008).
</div>
</span>
</span>
</div>
<div class="row">
<span class="title">HONORS AND AWARDS</span>
<span class="info">
<span class="left">
<div>Outstanding Research Award</div>
<div>College of Computer Science, Northeastern University</div>
<div>Given annually to one graduate student.</div>
</span>
<span class="right">2012</span>
<span class="left">
First place in the PLDI Student Research Competition
</span>
<span class="right">2011</span>
<span class="left">
<div>Mozilla Foundation Research Fellowship</div>
<div>In support of my research on static analysis of JavaScript.</div>
</span>
<span class="right">2010</span>
<span class="left">
<div>Christina Ganioti-Papageorgiou Fellowship</div>
<div>
For excellence in the nationwide university-entrance examination
(27th among all Greek students, 12th among the students admitted in the
ECE department).
</div>
</span>
<span class="right">2000</span>
<span class="left">
<div>Second place in the "Thalis" mathematical competition</div>
<div>
Regionals of the nationwide competition held by the Hellenic
Mathematical Society.
</div>
</span>
<span class="right">1999</span>
<span class="left">
Second place in the "Thalis" mathematical competition
</span>
<span class="right">1998</span>
</span>
</div>
<div class="row">
<span class="title">SERVICE</span>
<span class="info">
<span class="left">
<div>
Workshop on Programming Languages and Analysis for Security (PLAS 2012)
</div>
<div>external reviewer</div>
</span>
<span class="left">
<div>
European Conference on Object-Oriented Programming (ECOOP 2012)
</div>
<div>external reviewer</div>
</span>
<span class="left">
<div>
International Symposium on Code Generation and Optimization (CGO 2010)
</div>
<div>external reviewer</div>
</span>
<span class="left">
<div>The Computer Journal (2008), Oxford University Press</div>
<div>reviewer</div>
</span>
</span>
</div>
<script type="text/javascript" src="homepage.js"></script>
</body>
</html>