• Sign in
  • Sign up
conf.researchr.org / Michael Reif
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2018 profile
  • ESEC/FSE 2020 profile
  • ICSE 2019 profile
  • ISSTA 2019 profile
  • PLDI 2020 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • SPLASH 2020 profile
Michael Reif

Registered user since Mon 8 May 2017

Name: Michael Reif

Country: Germany

Affiliation: TU Darmstadt, Germany

Research interests: Static Analysis, Security, Programming Languages

Contributions

SOAP 2020 Author of TACAI: An Intermediate Representation based on Abstract Interpretation within the SOAP 2020-track
ESEC/FSE 2020 Author of Modular Collaborative Program Analysis in OPAL within the Research Papers-track
ECOOP 2020 Committee Member in Program Committee within the Doctoral Symposium-track
MSR 2019 Author of A Dataset of Parametric Cryptographic Misuses within the MSR 2019 Data Showcase-track
ISSTA 2019 Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track
ECOOP 2019 Committee Member in Program Committee within the Doctoral Symposium-track
Committee Member in Posters committee within the Posters-track
SOAP 2018 Author of Lattice Based Modularization of Static Analyses within the SOAP-track
Author of Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java within the SOAP-track
SOAP 2017 Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track

Share
xThu 4 Mar 20:42
using conf.researchr.org (v1.43.1)
Support page
Sign Up