Author of the publication

Automatic Analysis of Open Objects in Dynamic Language Programs.

, , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 134-150. Springer, (2014)

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.

 

Other publications of authors with the same name

A bit too precise? Verification of quantized digital filters., , and . STTT, 16 (2): 175-190 (2014)Differential Performance Debugging with Discriminant Regression Trees., , , and . CoRR, (2017)A vision for online verification-validation., , and . GPCE, page 190-201. ACM, (2016)Construction of Abstract Domains for Heterogeneous Properties (Position Paper)., , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 489-492. Springer, (2014)Trustless Grid Computing in ConCert., , , , , , and . GRID, volume 2536 of Lecture Notes in Computer Science, page 112-125. Springer, (2002)Android apps consistency scrutinized., , , , , and . CHI Extended Abstracts, page 2347-2352. ACM, (2014)QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers., , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 866-873. Springer, (2014)Analysis of Low-Level Code Using Cooperating Decompilers., , and . SAS, volume 4134 of Lecture Notes in Computer Science, page 318-335. Springer, (2006)An Abstract Domain Combinator for Separately Conjoining Memory Abstractions., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 285-301. Springer, (2014)Automatic Analysis of Open Objects in Dynamic Language Programs., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 134-150. Springer, (2014)