Author of the publication

Deep Static Modeling of invokedynamic.

, and . ECOOP, volume 134 of LIPIcs, page 15:1-15:28. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2019)

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

Functional programming with the FC++ library., and . J. Funct. Program., 14 (4): 429-472 (2004)Morphing Software for Easier Evolution., and . RAM-SE, page 71-80. Fakultät für Informatik, Universität Magdeburg, (2007)NRMI: Natural and Efficient Middleware., and . ICDCS, page 252-. IEEE Computer Society, (2003)Building Scalable Libraries with cJ., and . ICSE Companion, page 45-46. IEEE Computer Society, (2007)Heaps Don't Lie: Countering Unsoundness with Heap Snapshots., , , and . CoRR, (2019)Residual Investigation: Predictive and Precise Bug Detection., , , and . ACM Trans. Softw. Eng. Methodol., 24 (2): 7:1-7:32 (2014)In defense of soundiness: a manifesto., , , , , , , , , and . Commun. ACM, 58 (2): 44-46 (2015)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)Java Wildcards Meet Definition-Site Variance., , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 509-534. Springer, (2012)