Michael Reif
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISSTA | Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. | Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini |
| 2020 | CCS | Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy. | Leonid Glanz, Patrick Mller, Lars Baumgrtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini |
| 2020 | PLDI | TACAI: an intermediate representation based on abstract interpretation. | Michael Reif, Florian Kbler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini |
| 2019 | ISSTA | Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. | Michael Reif, Florian Kbler, Michael Eichberg, Dominik Helm, Mira Mezini |
| 2019 | MSR | A dataset of parametric cryptographic misuses. | Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini |
| 2018 | ISSTA | Lattice based modularization of static analyses. | Michael Eichberg, Florian Kbler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini |
| 2018 | ISSTA | Systematic evaluation of the unsoundness of call graph construction algorithms for Java. | Michael Reif, Florian Kbler, Michael Eichberg, Mira Mezini |
| 2017 | PLDI | Hermes: assessment and creation of effective test corpora. | Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini |