| Cognicrypt: Supporting developers in using cryptography S Krüger, S Nadi, M Reif, K Ali, M Mezini, E Bodden, F Göpfert, F Günther, ... 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 108 | 2017 |
| Call graph construction for Java libraries M Reif, M Eichberg, M Mezini Software Engineering und Software Management 2018, 2018 | 54 | 2018 |
| Call graph construction for java libraries M Reif, M Eichberg, B Hermann, J Lerch, M Mezini Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 54 | 2016 |
| CodeMatch: obfuscation won't conceal your repackaged app L Glanz, S Amann, M Eichberg, M Reif, B Hermann, J Lerch, M Mezini Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 47 | 2017 |
| 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 | 32 | 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 | 23 | 2018 |
| Hidden in plain sight: Obfuscated strings threatening your privacy L Glanz, P Müller, L Baumgärtner, M Reif, S Amann, P Anthonysamy, ... Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020 | 19 | 2020 |
| 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 | 13 | 2020 |
| Hermes: assessment and creation of effective test corpora M Reif, M Eichberg, B Hermann, M Mezini Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017 | 13 | 2017 |
| A dataset of parametric cryptographic misuses AK Wickert, M Reif, M Eichberg, A Dodhy, M Mezini 2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019 | 12 | 2019 |
| 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 | 10 | 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 | 9 | 2018 |
| Getting to know you: Towards a capability model for java B Hermann, M Reif, M Eichberg, M Mezini Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 9 | 2015 |
| Probabilistic call-graph construction Y Lu, D Wainwright, M Reif US Patent 10,719,314, 2020 | 2 | 2020 |
| 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 | 2 | 2020 |
| 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 | 1 | 2021 |
| CodeMatch L Glanz, S Amann, M Eichberg, M Reif, M Mezini Software Engineering und Software Management 2018, 2018 | 1 | 2018 |
| Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software M Reif Technische Universität, 2021 | | 2021 |
Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyVerified email at informatik.tu-darmstadt.de
