Follow
Dimitris Vardoulakis
Dimitris Vardoulakis
Verified email at nvidia.com - Homepage
Title
Cited by
Cited by
Year
In Defense of Soundiness: A Manifesto
DV Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J ...
Communications of the ACM 58, 44-46, 2015
342*2015
CFA2: a Context-Free Approach to Control-Flow Analysis
D Vardoulakis, O Shivers
Logical Methods in Computer Science 7 (2:3), 2011
1142011
CFA2: Pushdown Flow Analysis for Higher-Order Languages
D Vardoulakis
Northeastern University, 2012
262012
Pushdown flow analysis of first-class control
D Vardoulakis, O Shivers
International Conference on Functional Programming, 69-80, 2011
232011
A compositional trace semantics for Orc
D Vardoulakis, M Wand
Coordination Models and Languages, 331-346, 2008
62008
Ordering multiple continuations on the stack
D Vardoulakis, O Shivers
Workshop on Partial Evaluation and Program Manipulation (PEPM), 13-22, 2011
42011
Higher-Order Flow Analysis with Call/Return Matching
D Vardoulakis
ACM Student Research Competition Grand Finals, 2012
2012
CFA2: a Context-Free Approach to Control-Flow Analysis
D Vardoulakis, O Shivers
European Symposium on Programming, 570-589, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–8