Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Smaragdakis, Yannis
add a person with the name Smaragdakis, Yannis
 

Other publications of authors with the same name

Heaps Don't Lie: Countering Unsoundness with Heap Snapshots., , , and . CoRR, (2019)Morphing Software for Easier Evolution., and . RAM-SE, page 71-80. Fakultät für Informatik, Universität Magdeburg, (2007)A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation., , , and . CC, volume 9031 of Lecture Notes in Computer Science, page 111-130. Springer, (2015)A Datalog model of must-alias analysis., , , and . SOAP@PLDI, page 7-12. ACM, (2017)Implementing Layered Designs with Mixin Layers., and . ECOOP, volume 1445 of Lecture Notes in Computer Science, page 550-570. Springer, (1998)Deep Static Modeling of invokedynamic., and . ECOOP, volume 134 of LIPIcs, page 15:1-15:28. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2019)Defensive Points-To Analysis: Effective Soundness via Laziness., and . ECOOP, volume 109 of LIPIcs, page 23:1-23:28. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Java Wildcards Meet Definition-Site Variance., , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 509-534. Springer, (2012)PQL: A Purely-Declarative Java Extension for Parallel Programming., , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 53-78. Springer, (2012)Exception analysis and points-to analysis: better together., and . ISSTA, page 1-12. ACM, (2009)