| 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 |
| Systematic evaluation of the unsoundness of call graph construction algorithms for java M Reif, F Kübler, M Eichberg, M Mezini Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 107-112, 2018 | 29 | 2018 |
| 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 | 28 | 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 SOAP, 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 |
| 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 |
| SootKeeper: runtime reusability for modular static analysis F Kübler, P Müller, B Hermann Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017 | 2 | 2017 |
Michael EichbergTechnische Universität Darmstadt在 informatik.tu-darmstadt.de 的电子邮件经过验证
