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