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

Lightweight verification of array indexing., , , and . ISSTA, page 3-14. ACM, (2018)Lightweight and modular resource leak verification., , , and . ESEC/SIGSOFT FSE, page 181-192. ACM, (2021)Accumulation Analysis., , , and . ECOOP, volume 222 of LIPIcs, page 10:1-10:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Continuous Compliance., , , and . ASE, page 511-523. IEEE, (2020)On the Relationship between Code Verifiability and Understandability., , and . ESEC/SIGSOFT FSE, page 211-223. ACM, (2023)Lightweight Verification via Specialized Typecheckers. University of Washington, USA, (2022)Combining bug detection and test case generation.. SIGSOFT FSE, page 1124-1126. ACM, (2016)Pluggable Type Inference for Free., , , , and . ASE, page 1542-1554. IEEE, (2023)Compile-Time Detection of Machine Image Sniping.. ASE, page 1256-1258. IEEE, (2019)Lightweight verification via specialized typecheckers.. ESEC/SIGSOFT FSE, page 1635-1639. ACM, (2021)