Contact
Email:
Dimitris Vardoulakis

I am a Software Engineer at Google, working on Closure Compiler.

Before joining Google, I was a PhD student at Northeastern University. I defended my thesis in June 2012. For my PhD, I developed CFA2, a new flow analysis for functional languages. CFA2 is the first flow analysis with unbounded call/return matching in the presence of hard-to-analyze language features, such as first-class functions, tail calls and first-class control. It provides precise dataflow information and is also suitable for stack-related optimizations, such as stack-allocation of closure environments.

Papers
In Defense of Soundiness: A Manifesto
Livshits, Sridharan, Smaragdakis, Lhotak, Amaral, Chang, Guyer, Khedker, Moller, Vardoulakis
Communications of the ACM, Vol. 58, Feb 2015 [pdf]
CFA2: Pushdown Flow Analysis for Higher-Order Languages
Dimitrios Vardoulakis
Ph.D. dissertation, 2012 [pdf] [bib] [errata]
Pushdown Flow Analysis of First-Class Control
Dimitrios Vardoulakis and Olin Shivers
ICFP 2011 [pdf] [slides] [bib]
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 [pdf] [bib]
Ordering Multiple Continuations on the Stack
Dimitrios Vardoulakis and Olin Shivers
PEPM 2011 [pdf] [slides] [bib]
CFA2: a Context-Free Approach to Control-Flow Analysis
Dimitrios Vardoulakis and Olin Shivers
ESOP 2010 [pdf] [slides] [bib]
A compositional trace semantics for Orc
Dimitrios Vardoulakis and Mitchell Wand
COORDINATION 2008 [pdf] [slides] [bib]
A compositional trace semantics for Orc (short version)
Dimitrios Vardoulakis and Mitchell Wand
BPESO/CSCW 2007 [pdf] [slides] [bib]
Our cultural heritage promotes helplessness about gifts, talents and aptitudes. It encourages "I'm not good at this" instead of "How can I make myself better at it?"
From Marvin Minsky's Turing Award lecture.