Author of the publication

Accumulation Analysis.

, , , and . ECOOP, volume 222 of LIPIcs, page 10:1-10:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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

Summary: ICSE workshop on dynamic analysis (WODA 2003)., and . ACM SIGSOFT Softw. Eng. Notes, 28 (6): 4 (2003)How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.. TAP@TOOLS, volume 6143 of Lecture Notes in Computer Science, page 1-2. Springer, (2010)An Empirical Study of Fault Localization Families and Their Combinations., , , , and . IEEE Trans. Software Eng., 47 (2): 332-347 (2021)Refactoring sequential Java code for concurrency via concurrent libraries., , and . ICSE, page 397-407. IEEE, (2009)Automated diagnosis of software configuration errors., and . ICSE, page 312-321. IEEE Computer Society, (2013)CBCD: Cloned buggy code detector., and . ICSE, page 310-320. IEEE Computer Society, (2012)Javari: adding reference immutability to Java., and . OOPSLA, page 211-230. ACM, (2005)Verifying that web pages have accessible layout., , , , and . PLDI, page 1-14. ACM, (2018)Invariant inference for static checking., and . SIGSOFT FSE, page 11-20. ACM, (2002)Panel: Perspectives on Software Engineering., , , , and . ICSE, page 699-702. IEEE Computer Society, (2001)