Dominik Helm -

Registered user since Mon 4 Jun 2018

Name:Dominik Helm

Country:Germany

Affiliation:TU Darmstadt

Personal website: https://www.stg.tu-darmstadt.de/staff/dominik_helm/

Research interests:Program Analysis

Contributions

2024

ISSTA

Committee Member in Program Committee within the Technical Papers-track
Author of Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features within the Technical Papers-track
Author of Total Recall? How Good Are Static Call Graphs Really? within the Technical Papers-track

2022

ESEC/FSE

Author of Modular Collaborative Program Analysis in OPAL within the ESEC/FSE 2020-track

ASE

Committee Member in Program Committee within the Artifact Evaluation-track

2021

ASE

2020

ESEC/FSE

ISSTA

Author of A Programming Model for Semi-implicit Parallelization of Static Analyses within the Technical 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

2018

SOAP

Author of Lattice Based Modularization of Static Analyses within the SOAP-track