To content
Fakultät für Informatik
Dr.-Ing.

Dominik Helm

Postdoctoral Researcher

I'm a postdoctoral researcher at SSE. My current research is on modularization and automatic parallelization of collaborative static analyses in order to improve the precision, soundness, and scalability of static analyses.  In particular, I work on the OPAL static analysis framework for Java VM bytecode in order to improve analyses to find bugs and security vulnerabilities. Analyses I have been working on include purity and immutability analyses as well as modular, feature-consistent call graphs.

I'm currently the lead maintainer of the OPAL static analysis framework.

Contact

E-Mail: dominik.helmcs.tu-dortmundde

Telephon: -

Office Hours: No general office hours. Please send an e-mail for an individual appointment.

 

Profiles

ORCID0009-0004-6425-8630
 

 

© Dominik Helm

Areas of Interest

  • Software security and quality
  • Modular static analyses
  • Quality of program analyses

Publications

AXA: Cross-Language Analysis through Integration of Single-Language Analyses
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
In 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024).
DOI: https://doi.org/10.1145/3691620.3696193
Artifact: https://doi.org/10.5281/zenodo.13364690

Preprint

Total Recall? How Good are Static Call Graphs Really?
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024).  
DOI: https://doi.org/10.1145/3650212.3652114
Artifact: https://doi.org/10.5281/zenodo.10888532

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
DOI: https://doi.org/10.1145/3650212.3652109
Artifact: https://doi.org/10.5281/zenodo.10890011

Preprint

A Modular Soundness Theory for the Blackboard Analysis Architecture
Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini
In Programming Languages and Systems, 33rd European Symposium on Programming (ESOP 2024)
DOI: https://doi.org/10.1007/978-3-031-57267-8_14

Modular Collaborative Program Analysis
Dominik Helm
Ph.D. Thesis, Technische Universität Darmstadt
DOI: https://doi.org/10.26083/tuprints-00023220

Academic Activities

Reviewing:

Teaching

Winter 2024/25
  • Lecturer for 'Software Engineering'
  • Lecturer for 'Type Systems'
  • Supervisor for 'Bachelorproject'
Summer 2024
  • Lecturer for 'Quality Assurance and Quality Management'
  • Lecturer for 'Program Analysis'
  • Supervisor for 'Bachelorproject'
Winter 2023/24
  • Lecturer for 'Software Engineering'
  • Project Management Workshop in 'Software Engineering Project'
  • Advisor for the team Cockpit Crew in 'Software Engineering Project'
  • Topic instructor 'Call-Graph Challenges in Dynamic Languages' in 'Foundations of Static Analysis'
  • Topic instructor 'String analysis for the JVM' in 'Implementation of Modern Programming Languages'
Summer 2023
  • Topic instructor 'Flexible analyses for OPAL data structures' in 'Software Development Tools'
Winter 2022/23
  • Project Management Workshop in 'Software Engineering Project'
  • Advisor for the team re:Place in 'Software Engineering Project'
Winter 2021/22
  • Lecturer for 'Program Analysis'
  • Project Management Workshop in 'Software Engineering Project'
  • Advisor for the team Seresy in 'Software Engineering Project'
  • Topic instructor 'Java 17 Support for OPAL' in 'Software Development Tools'
Winter 2020/21
  • Advisor for the team Megaphone Technologies in 'Software Engineering Project'
Winter 2019/20
  • Lecturer for 'Applied Static Analysis'
  • Advisor for the team Die ConTrolle in 'Software Engineering Project'
  • Teaching Assistant 'Software Engineering'
Winter 2018/19
  • Teaching Assistant 'Software Engineering'