Dimitris Vardoulakis
Dimitris Vardoulakis
確認したメール アドレス: google.com - ホームページ
タイトル
引用先
引用先
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
192*2015
CFA2: a Context-Free Approach to Control-Flow Analysis
D Vardoulakis, O Shivers
Logical Methods in Computer Science 7 (2:3), 2011
972011
CFA2: a Context-Free Approach to Control-Flow Analysis
D Vardoulakis, O Shivers
European Symposium on Programming, 570-589, 2010
972010
CFA2: Pushdown Flow Analysis for Higher-Order Languages
D Vardoulakis
Northeastern University, 2012
212012
Pushdown flow analysis of first-class control
D Vardoulakis, O Shivers
International Conference on Functional Programming, 69-80, 2011
192011
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–8