Dimitrios Vardoulakis
CONTACT INFORMATION
email:
web: http://dimvar.github.io
RESEARCH INTERESTS Static analysis and compilation of higher-order languages, abstract interpretation, semantics, continuations, concurrency theory.
EMPLOYMENT
Software Engineer, Google
Working on the Closure compiler for JavaScript.
 July 2012 — present
Research Assistant, Northeastern University
Supported by a Fellowship from Mozilla.
 Sep. 2010 — June 2012
Research Intern, Mozilla Corporation
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.
May 2010 — Aug. 2010
Teaching Assistant, Northeastern University
Compilers (Spring '10)
Fundamentals of Computer Science 2 (Spring '06, Fall '06, Spring '07, Fall '07)
Introduction to Programming and Computing (Fall '05, Fall '09)
Logic and Computation (Spring '08, Fall '08, Spring '09)
Theory of Computation (Fall '07)
Sep. 2005 — May 2010
EDUCATION
Ph.D. in Computer Science
Northeastern University, Boston, MA
Thesis: CFA2: Pushdown Flow Analysis for Higher-Order Languages
Advisor: Olin Shivers
 2005 — 2012
M.Sc. in Computer Science
Northeastern University, Boston, MA
 2005 — 2007
B.Eng. in Electrical and Computer Engineering
National Technical University of Athens, Athens, Greece
 1999 — 2005
RESEARCH PAPERS
In Defense of Soundiness: A Manifesto
With Ben Livshits, Manu Sridharan, Yannis Smaragdakis et al.
Communications of the ACM, Vol. 58, Feb 2015.
CFA2: Pushdown Flow Analysis for Higher-Order Languages
Dimitrios Vardoulakis
Ph.D. dissertation, 2012.
Pushdown Flow Analysis of First-Class Control
Dimitrios Vardoulakis and Olin Shivers
International Conference on Functional Programming (ICFP 2011).
CFA2: a Context-Free Approach to Control-Flow Analysis
Dimitrios Vardoulakis and Olin Shivers
Logical Methods in Computer Science, Vol. 7 (2:3), May 2011.
Ordering Multiple Continuations on the Stack
Dimitrios Vardoulakis and Olin Shivers
Workshop on Partial Evaluation and Program Manipulation (PEPM 2011).
CFA2: a Context-Free Approach to Control-Flow Analysis
Dimitrios Vardoulakis and Olin Shivers
European Symposium on Programming (ESOP 2010).
A Compositional Trace Semantics for Orc
Dimitrios Vardoulakis and Mitchell Wand
International Conf. on Coordination Models and Languages (COORDINATION 2008).
HONORS AND AWARDS
Outstanding Research Award
College of Computer Science, Northeastern University
Given annually to one graduate student.
 2012 First place in the PLDI Student Research Competition 2011
Mozilla Foundation Research Fellowship
In support of my research on static analysis of JavaScript.
 2010
Christina Ganioti-Papageorgiou Fellowship
For excellence in the nationwide university-entrance examination (27th among all Greek students, 12th among the students admitted in the ECE department).
2000
Second place in the "Thalis" mathematical competition
Regionals of the nationwide competition held by the Hellenic Mathematical Society.
1999 Second place in the "Thalis" mathematical competition 1998
SERVICE
Workshop on Programming Languages and Analysis for Security (PLAS 2012)
external reviewer
European Conference on Object-Oriented Programming (ECOOP 2012)
external reviewer
International Symposium on Code Generation and Optimization (CGO 2010)
external reviewer
The Computer Journal (2008), Oxford University Press
reviewer