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

ESEC/FSE 2022	Author of Modular Collaborative Program Analysis in OPAL within the ESEC/FSE 2020-track
ESEC/FSE 2020	Author of Modular Collaborative Program Analysis in OPAL within the Research Papers-track
ISSTA 2020	Author of A Programming Model for Semi-implicit Parallelization of Static Analyses within the Technical Papers-track
SOAP 2020	Author of TACAI: An Intermediate Representation based on Abstract Interpretation within the SOAP 2020-track
ISSTA 2019	Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical 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
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
Scala 2016	Author of Reactive Async: Expressive Deterministic Concurrency within the Scala-track
SOAP 2016	Author of Toward an Automated Benchmark Management System within the SOAP-track
SPLASH 2012	Author of Reifying and optimizing collection queries for modularity within the Posters-track