Michael Eichberg

Registered user since Fri 28 Jul 2017

Name: Michael Eichberg

Affiliation: TU Darmstadt, Germany

Personal website: http://www.michael-eichberg.de

Research interests: Software Engineering, Static Analysis, Software Development Tools, Programming Languages

Contributions

SOAP 2020Author of TACAI: An Intermediate Representation based on Abstract Interpretation within the SOAP 2020-track
ISSTA 2020Author of A Programming Model for Semi-Implicit Parallelization of Static Analyses within the Technical Papers-track
ESEC/FSE 2020Author of BlaSt: A Generic Framework for Collaborative Static Analyses within the Research Papers-track
BenchWork 2019Invited Speaker of Hermes: Towards Representative Benchmarks within the BenchWork -track
MSR 2019Author of A Dataset of Parametric Cryptographic Misuses within the MSR 2019 Data Showcase-track
ISSTA 2019Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track
SOAP 2018Author of Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java within the SOAP-track
Author of Lattice Based Modularization of Static Analyses within the SOAP-track
Committee Member in Program Committee within the SOAP-track
CoCoS 2017Committee Member in Program Committee within the CoCoS 2017-track
SOAP 2017Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track
SOAP 2016Author of Toward an Automated Benchmark Management System within the SOAP-track
Scala 2016Author of Reactive Async: Expressive Deterministic Concurrency within the Scala-track
SPLASH 2012Author of Reifying and optimizing collection queries for modularity within the Posters-track