| Judge: Identifying, understanding, and evaluating sources of unsoundness in call graphs M Reif, F Kübler, M Eichberg, D Helm, M Mezini Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 47 | 2019 |
| Modular collaborative program analysis in OPAL D Helm, F Kübler, M Reif, M Eichberg, M Mezini Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 26 | 2020 |
| A unified lattice model and framework for purity analyses D Helm, F Kübler, M Eichberg, M Reif, M Mezini Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 13 | 2018 |
| Lattice based modularization of static analyses M Eichberg, F Kübler, D Helm, M Reif, G Salvaneschi, M Mezini Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 113-118, 2018 | 11 | 2018 |
| A programming model for semi-implicit parallelization of static analyses D Helm, F Kübler, JT Kölzer, P Haller, M Eichberg, G Salvaneschi, ... Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 10 | 2020 |
| Redactable graph hashing, revisited A Erwig, M Fischlin, M Hald, D Helm, R Kiel, F Kübler, M Kümmerlin, ... Information Security and Privacy: 22nd Australasian Conference, ACISP 2017 …, 2017 | 8 | 2017 |
| Cifi: Versatile analysis of class and field immutability T Roth, D Helm, M Reif, M Mezini 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 7 | 2021 |
| TACAI: an intermediate representation based on abstract interpretation M Reif, F Kübler, D Helm, B Hermann, M Eichberg, M Mezini Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of …, 2020 | 5 | 2020 |
| A Modular Soundness Theory for the Blackboard Analysis Architecture S Keidel, D Helm, T Roth, M Mezini European Symposium on Programming, 361-390, 2024 | 1 | 2024 |
| Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features D Helm, T Roth, S Keidel, M Reif, M Mezini 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis …, 2024 | 1 | 2024 |
| Total Recall? How Good Are Static Call Graphs Really? D Helm, S Keidel, A Kampkötter, J Düsing, T Roth, B Hermann, M Mezini | 1 | 2024 |
| Modular Collaborative Program Analysis D Helm Technische Universität Darmstadt, 2023 | | 2023 |
| Cross-language Static Analysis of Java and Native Code D Helm | | 2014 |
| AXA: Cross-Language Analysis through Integration of Single-Language Analyses T Roth, J Näumann, D Helm, S Keidel, M Mezini | | |
Mira MeziniProfessor of Computer Science, TU Darmstadt, Germany在 informatik.tu-darmstadt.de 的电子邮件经过验证
