Michael Reif

25 papers A* 3A 4C 5Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2025 C conf
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
Software Engineering
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
2024 A conf
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
ISSTA
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
2023 — conf
Securing Your Crypto-API Usage Through Tool Support - A Usability Study.
SecDev
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl
2022 C conf
CiFi: Versatile Analysis of Class and Field Immutability.
Software Engineering
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
2021 A* conf
CiFi: Versatile Analysis of Class and Field Immutability.
ASE
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
2021 — —
Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software.
Michael Reif
2020 A conf
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.
AsiaCCS
Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini
2020 J jnl
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.
CoRR
Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini
2020 J jnl
Modular Collaborative Program Analysis in OPAL.
CoRR
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
2020 — conf
Modular collaborative program analysis in OPAL.
ESEC/SIGSOFT FSE
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
2020 — conf
TACAI: an intermediate representation based on abstract interpretation.
SOAP@PLDI
Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini
2019 — conf
A Unified Lattice Model and Framework for Purity Analyses.
SE/SWM
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
2019 A conf
A dataset of parametric cryptographic misuses.
MSR
Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini
2019 A conf
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.
ISSTA
Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini
2018 A* conf
A unified lattice model and framework for purity analyses.
ASE
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
2018 C conf
Call Graph Construction for Java Libraries.
Software Engineering
Michael Reif, Michael Eichberg, Mira Mezini
2018 C conf
CodeMatch.
Software Engineering
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Mira Mezini
2018 — conf
Lattice based modularization of static analyses.
ISSTA/ECOOP Workshops
Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini
2018 — conf
Systematic evaluation of the unsoundness of call graph construction algorithms for Java.
ISSTA/ECOOP Workshops
Michael Reif, Florian Kübler, Michael Eichberg, Mira Mezini
2017 — conf
CodeMatch: obfuscation won't conceal your repackaged app.
ESEC/SIGSOFT FSE
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, Mira Mezini
2017 A* conf
CogniCrypt: supporting developers in using cryptography.
ASE
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
2017 — conf
Hermes: assessment and creation of effective test corpora.
SOAP@PLDI
Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini
2016 — conf
Call graph construction for Java libraries.
SIGSOFT FSE
Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, Mira Mezini
2016 C conf
Getting to know you: towards a capability model for Java.
Software Engineering
Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini
2015 — conf
Getting to know you: towards a capability model for Java.
ESEC/SIGSOFT FSE
Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini