Michael Eichberg

Registered user since Fri 28 Jul 2017

Name:Michael Eichberg
Affiliation:TU Darmstadt, Germany
Research interests:Software Engineering, Static Analysis, Software Development Tools, Programming Languages


SOAP 2020 Author of TACAI: An Intermediate Representation based on Abstract Interpretation within the SOAP 2020-track
ISSTA 2020 Author of A Programming Model for Semi-implicit Parallelization of Static Analyses within the Technical Papers-track
ESEC/FSE 2020 Author of Modular Collaborative Program Analysis in OPAL within the Research Papers-track
BenchWork 2019 Invited Speaker of Hermes: Towards Representative Benchmarks within the BenchWork -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
SOAP 2018 Author 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 2017 Committee Member in Program Committee within the CoCoS 2017-track
SOAP 2017 Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track
SOAP 2016 Author of Toward an Automated Benchmark Management System within the SOAP-track
Scala 2016 Author of Reactive Async: Expressive Deterministic Concurrency within the Scala-track
SPLASH 2012 Author of Reifying and optimizing collection queries for modularity within the Posters-track