Michael Reif

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 22

Top Topics

Graph Construction

Abstract Interpretation

Intermediate Representations

Top Venues

Software Engineering

ESEC/SIGSOFT FSE

Publications

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