• Sign in
  • Sign up
conf.researchr.org / Michael Reif
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2018 profile
  • ESEC/FSE 2020 profile
  • ESEC/FSE 2022 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

2022

ESEC/FSE

  • Author of Modular Collaborative Program Analysis in OPAL within the ESEC/FSE 2020-track

2020

ECOOP

  • Committee Member in Program Committee within the Doctoral Symposium-track

ESEC/FSE

  • Author of Modular Collaborative Program Analysis in OPAL within the Research Papers-track

SOAP

  • Author of TACAI: An Intermediate Representation based on Abstract Interpretation within the SOAP 2020-track

2019

ISSTA

  • Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track

ECOOP

  • Committee Member in Program Committee within the Doctoral Symposium-track
  • Committee Member in Posters committee within the Posters-track

Mining Software Repositories

  • Author of A Dataset of Parametric Cryptographic Misuses within the MSR 2019 Data Showcase-track

2018

SOAP

  • 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

2017

SOAP

  • Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track
Share
xSun 18 May 01:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up