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.

 

Other publications of authors with the same name

Abstract Transformers for Thread Correlation Analysis., , , , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 30-46. Springer, (2009)TVLA: A System for Implementing Static Analyses., and . SAS, volume 1824 of Lecture Notes in Computer Science, page 280-301. Springer, (2000)Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures., , , , , and . CADE, volume 3632 of Lecture Notes in Computer Science, page 99-115. Springer, (2005)Revamping TVLA: Making Parametric Shape Analysis Competitive., , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 221-225. Springer, (2007)Thread Quantification for Concurrent Shape Analysis., , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 399-413. Springer, (2008)TVLA: A system for generating abstract interpreters., , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 367-375. Kluwer/Springer, (2004)A combination framework for tracking partition sizes., , and . POPL, page 239-251. ACM, (2009)Heap Decomposition for Concurrent Shape Analysis., , , , and . SAS, volume 5079 of Lecture Notes in Computer Science, page 363-377. Springer, (2008)Customization change impact analysis for erp professionals via program slicing., , , , and . ISSTA, page 97-108. ACM, (2008)Automatic maintenance of transitive properties with applications to shape analysis. Tel Aviv University, Israel, (2009)Tel Aviv University Library.