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

Modular Collaborative Program Analysis.. Technical University of Darmstadt, Germany, (2023)CiFi: Versatile Analysis of Class and Field Immutability., , , and . ASE, page 979-990. IEEE, (2021)A Unified Lattice Model and Framework for Purity Analyses., , , , and . SE/SWM, volume P-292 of LNI, page 51-52. GI, (2019)Modular collaborative program analysis in OPAL., , , , and . ESEC/SIGSOFT FSE, page 184-196. ACM, (2020)TACAI: an intermediate representation based on abstract interpretation., , , , , and . SOAP@PLDI, page 2-7. ACM, (2020)A programming model for semi-implicit parallelization of static analyses., , , , , , and . ISSTA, page 428-439. ACM, (2020)Lattice based modularization of static analyses., , , , , and . ISSTA/ECOOP Workshops, page 113-118. ACM, (2018)CiFi: Versatile Analysis of Class and Field Immutability., , , and . Software Engineering, volume P-320 of LNI, page 81-82. Gesellschaft für Informatik e.V., (2022)Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs., , , , and . ISSTA, page 251-261. ACM, (2019)A Modular Soundness Theory for the Blackboard Analysis Architecture., , , and . ESOP (2), volume 14577 of Lecture Notes in Computer Science, page 361-390. Springer, (2024)