Dimitrios Vardoulakis

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