Dimitrios Vardoulakis

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Advanced Research Projects Agency

Top Venues

Publications

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
In defense of soundiness: a manifesto. Commun. ACM 58 (2) (2015)
Dimitrios Vardoulakis, Olin Shivers
CFA2: a Context-Free Approach to Control-Flow Analysis Log. Methods Comput. Sci. 7 (2) (2011)
Dimitrios Vardoulakis, Olin Shivers
Pushdown flow analysis of first-class control. ICFP (2011)
Dimitrios Vardoulakis, Olin Shivers
Ordering multiple continuations on the stack. PEPM (2011)
Dimitrios Vardoulakis, Olin Shivers
CFA2: A Context-Free Approach to Control-Flow Analysis. ESOP (2010)
Dimitrios Vardoulakis, Mitchell Wand
A Compositional Trace Semantics for Orc. COORDINATION (2008)