2018

A Unified Lattice Model and Framework for Purity Analyses
by Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, and Mira Mezini
To be published in Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering
[website] [preprint]

Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java
by Michael Reif, Florian Kübler, Michael Eichberg, and Mira Mezini
To be published in Proceedings of the 7th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
[preprint] [artifact page] [slides]

Lattice Based Modularization of Static Analyses
by Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, and Mira Mezini
To be published in Proceedings of the 7th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
[preprint]

2017

CogniCrypt: supporting developers in using cryptography
by Stefan Krüger, Sarah Nadi, Karim ali, Michael Reif, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel demmler, and Ram Kamath
To be published in Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
[website] [preprint]

CodeMatch: Obfuscation Won’t Conceal Your Repackaged App
by Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
In Proceedings of the 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
[publication (via DOI)] [preprint] [artifact page]

Hermes: assessment and creation of effective test corpora
by Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini
In Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
[website] [publication (via DOI)] [preprint]

2016

Call graph construction for Java libraries
by Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, and Mira Mezini
In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
[publication (via DOI)] [preprint] [artifact page]

2015

Getting to know you: towards a capability model for Java
by Ben Hermann, Michael Reif, Michael Eichberg, and Mira Mezini
In Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
[publication (via DOI)] [preprint] [artifact page]