Person. Yannis Smaragdakis National and Kapodistrian University of Athens · yanniss.github.io · 0000-0002-0499-0182 Papers Resolving and exploiting the 𝑘-CFA paradox: illuminating functional vs. object-oriented program analysis might-2010-resolvingPLDI · 2010 PDF · DOI · arXiv · pldb