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

Mining Software Repositories

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

2018

SOAP

2017

SOAP

Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track