Dimitrios Vardoulakis
- Research Area(s)
- Software Systems
Dimitrios works on static analysis of high-level programming languages, such as
JavaScript. He received his Ph.D. from Northeastern University in 2012, for his work
on the CFA2 pushdown analysis.
Google Publications
-
In Defense of Soundiness: A Manifesto
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhotak, J. Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis
Communications of the ACM, vol. 58 (2015), pp. 44-46
