A Compositional Trace Semantics for Orc. - Dimitrios Vardoulakis; Mitchell Wand (COORDINATION, 2008)

Pushdown flow analysis of first-class control. - Dimitrios Vardoulakis; Olin Shivers (ICFP, 2011)

Ordering multiple continuations on the stack. - Dimitrios Vardoulakis; Olin Shivers (PEPM, 2011)

CFA2: a Context-Free Approach to Control-Flow Analysis - Dimitrios Vardoulakis; Olin Shivers (Log. Methods Comput. Sci., 2011)

In defense of soundiness: a manifesto. - Benjamin Livshits; Manu Sridharan; Yannis Smaragdakis; Ondrej Lhoták; José Nelson Amaral; Bor-Yuh Evan Chang; Samuel Z. Guyer; Uday P. Khedker; Anders Møller; Dimitrios Vardoulakis (Commun. ACM, 2015)