CONTACT INFORMATION

College of Computer and Information Science
Northeastern University
360 Huntington Ave, WVH
Boston, MA 02115

RESEARCH INTERESTS

Static analysis and compilation of higher-order languages, abstract interpretation, semantics, continuations, concurrency theory.

EDUCATION

Northeastern University, Boston, MA
Ph.D. in Computer Science
Expected graduation date: Spring 2012
Advisor: Olin Shivers

Northeastern University, Boston, MA
M.Sc. in Computer Science

National Technical University of Athens, Athens, Greece
B.Eng. in Electrical and Computer Engineering
Diploma Thesis: Security issues in programming languages, the industry and the academic approach
Advisor: Nikolaos Papaspyrou

HONORS AND AWARDS

1st place in the PLDI Student Research Competition

Mozilla Foundation Research Fellowship
In support of my research on static analysis of JavaScript.

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).

2nd place in the "Thalis" mathematical competition
Regionals of the nationwide competition held by the Hellenic Mathematical Society.

2nd place in the "Thalis" mathematical competition

RESEARCH PAPERS

Pushdown Flow Analysis of First-Class Control
Dimitrios Vardoulakis and Olin Shivers
In Proc. of the 16th 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
In Proceedings of the 20th Workshop on Partial Evaluation and Program Manipulation (PEPM 2011).

CFA2: a Context-Free Approach to Control-Flow Analysis
Dimitrios Vardoulakis and Olin Shivers
In Proceedings of the 19th European Symposium on Programming (ESOP 2010).

A Compositional Trace Semantics for Orc
Dimitrios Vardoulakis and Mitchell Wand
In Proceedings of the 10th International Conference on Coordination Models and Languages (COORDINATION 2008).

SERVICE

International Symposium on Code Generation and Optimization (CGO 2010)
external reviewer

The Computer Journal (2008), Oxford University Press
reviewer

EMPLOYMENT

Research Assistant, Northeastern University
Supported by a Fellowship from Mozilla.

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.

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)