Michael Reif

According to our database, Michael Reif authored at least 21 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.

Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Securing Your Crypto-API Usage Through Tool Support - A Usability Study.

Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl

Proceedings of the IEEE Secure Development Conference, 2023

2022

CiFi: Versatile Analysis of Class and Field Immutability.

Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini

Proceedings of the Software Engineering 2022, 2022

2021

Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software.

Michael Reif

PhD thesis, 2021

2020

Evaluation Results for Modular Collaborative Program Analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Dataset, August, 2020

Artifact for Modular Collaborative Program Analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Dataset, June, 2020

Modular collaborative program analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

TACAI: an intermediate representation based on abstract interpretation.

Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.

Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

A Unified Lattice Model and Framework for Purity Analyses.

Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini

Proceedings of the Software Engineering and Software Management, 2019

A dataset of parametric cryptographic misuses.

Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.

Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Call Graph Construction for Java Libraries.

Michael Reif, Michael Eichberg, Mira Mezini

Proceedings of the Software Engineering und Software Management 2018, 2018

CodeMatch.

Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Mira Mezini

Proceedings of the Software Engineering und Software Management 2018, 2018

Systematic evaluation of the unsoundness of call graph construction algorithms for Java.

Michael Reif, Florian Kübler, Michael Eichberg, Mira Mezini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.

Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

CodeMatch: obfuscation won't conceal your repackaged app.

Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, Mira Mezini

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Hermes: assessment and creation of effective test corpora.

Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

CogniCrypt: supporting developers in using cryptography.

Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Call graph construction for Java libraries.

Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, Mira Mezini

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Getting to know you: towards a capability model for Java.

Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini

Proceedings of the Software Engineering 2016, 2016