Dimitrios Vardoulakis

According to our database, Dimitrios Vardoulakis authored at least 5 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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

2011

CFA2: a Context-Free Approach to Control-Flow Analysis

Dimitrios Vardoulakis, Olin Shivers

Log. Methods Comput. Sci., 2011

Ordering multiple continuations on the stack.

Dimitrios Vardoulakis, Olin Shivers

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Pushdown flow analysis of first-class control.

Dimitrios Vardoulakis, Olin Shivers

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2008

A Compositional Trace Semantics for Orc.

Dimitrios Vardoulakis, Mitchell Wand

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008