Dominik Helm

Dr. Dominik Helm is an interim professor for Software Engineering at the University of Duisburg-Essen. His research focuses on modularization and automatic parallelization of collaborative static analyses, particularly through the OPAL framework for Java VM bytecode. He is the lead maintainer of OPAL, which aims to enhance precision, soundness, and scalability in static analysis for bug and security vulnerability detection. Helm has also received the Ernst Denert Software-Engineering-Preis (2024) for his contributions.

Education: Helm earned his PhD in Computer Science from Technische Universität Darmstadt in 2023, with his thesis titled Modular Collaborative Program Analysis. His academic background includes extensive work on purity analysis, call graphs, and modular static analysis techniques.

Research Interests: Helm's work bridges theoretical advancements in program analysis with practical tools. His key areas include cross-language analysis (e.g., AXA framework), modular call-graph algorithms (Unimocg), and soundness theory for analysis architectures. He emphasizes improving static analysis tools to handle complex language features and ensure robust software quality.

Publications & Awards: Helm has authored/co-authored over 15 papers in top-tier conferences like ASE, ISSTA, and ESOP. His 2024 work on AXA and Unimocg showcases cross-language interoperability and modular consistency. The Ernst Denert Preis recognizes his impactful contributions to software engineering research.

Technical Leadership: As OPAL's lead maintainer, Helm drives collaborative research in static analysis frameworks. His projects often involve interdisciplinary teams, reflecting his commitment to practical software engineering solutions.