I am a Ph.D. student in the
Programming Languages Lab, working with
Olin Shivers.
The focus of my PhD work is 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.
As a summer intern at Mozilla, I
implemented
CFA2 for JavaScript and used it for type inference (demo
here).
The analysis has become the core component of
DoctorJS,
Mozilla's suite of static-analysis tools for JavaScript.
Pushdown Flow Analysis of First-Class Control.
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.
CFA2: a Context-Free Approach to Control-Flow Analysis.
DDP for CFA.
Olin Shivers, Dimitrios Vardoulakis and Alexander Spoon
Symposium in Honor of Mitchell Wand, August 2009.
Paper in preparation.
[slides]
A compositional trace semantics for Orc.
A compositional trace semantics for Orc (short version).
