Dimitris Vardoulakis

2010201120122013201420152016201720182019202020212022202320244 13 16 31 25 28 30 56 46 52 38 61 34 38 31

Olin ShiversNortheastern UniversityVerified email at ccs.neu.edu
Uday P. KhedkerProfessor of Computer Science, IIT BombayVerified email at cse.iitb.ac.in
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
Samuel Z. GuyerTufts UniversityVerified email at cs.tufts.edu
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
J Nelson AmaralProfessor of Computing Science, University of AlbertaVerified email at ualberta.ca
Ondrej LhotakComputer Science, University of WaterlooVerified email at uwaterloo.ca
Mitchell WandProfessor of Computer Science, Northeastern UniversityVerified email at ccs.neu.edu

Verified email at nvidia.com - Homepage


Title Sort by citations Sort by year Sort by 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	338*	2015
CFA2: a Context-Free Approach to Control-Flow Analysis D Vardoulakis, O Shivers Logical Methods in Computer Science 7 (2:3), 2011	114	2011
CFA2: Pushdown Flow Analysis for Higher-Order Languages D Vardoulakis Northeastern University, 2012	26	2012
Pushdown flow analysis of first-class control D Vardoulakis, O Shivers International Conference on Functional Programming, 69-80, 2011	23	2011
A compositional trace semantics for Orc D Vardoulakis, M Wand Coordination Models and Languages, 331-346, 2008	6	2008
Ordering multiple continuations on the stack D Vardoulakis, O Shivers Workshop on Partial Evaluation and Program Manipulation (PEPM), 13-22, 2011	4	2011
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

Citations per year