Folgen
Dimitris Vardoulakis
Dimitris Vardoulakis
Google
Bestätigte E-Mail-Adresse bei google.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
263*2015
CFA2: a Context-Free Approach to Control-Flow Analysis
D Vardoulakis, O Shivers
Logical Methods in Computer Science 7 (2:3), 2011
1052011
CFA2: a Context-Free Approach to Control-Flow Analysis
D Vardoulakis, O Shivers
European Symposium on Programming, 570-589, 2010
1052010
CFA2: Pushdown Flow Analysis for Higher-Order Languages
D Vardoulakis
Northeastern University, 2012
242012
Pushdown flow analysis of first-class control
D Vardoulakis, O Shivers
International Conference on Functional Programming, 69-80, 2011
222011
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
32011
Higher-Order Flow Analysis with Call/Return Matching
D Vardoulakis
ACM Student Research Competition Grand Finals, 2012
2012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8