Johannes Düsing
Research Associate
Contact
E-Mail: johannes.duesingtu-dortmundde
Telephon: +49 231 755 7831
Office Hours: No general office hours. Please send an e-mail for an individual appointment.
Profiles
ORCID: 0000-0002-9367-2206
GitHub: johannesduesing
Homepage: duesing.dev/johannes
Areas of Interest
- Compositional static program analysis
- Scalable program analysis for entire repositories
- Propagation of vulnerabilities in call- and dependency-graphs
- Dataflow analysis via abstract interpretation
- Static software quality metrics
Publications
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
- Preprint PDF (1 MB)
Persisting and Reusing Results of Static Program Analyses on a Large Scale
Johannes Düsing, Ben Hermann
In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023).
DOI: https://doi.org/10.1109/ASE56229.2023.00080
Artifact: https://doi.org/10.5281/zenodo.8238151
DGMF: Fast Generation of Comparable, Updatable Dependency Graphs for Software Repositories
Tobias Litzenberger, Johannes Düsing, Ben Hermann
In Proceedings of IEEE/ACM 20th International Conference on Mining Software Repositories (MSR)
DOI: https://doi.org/10.1109/MSR59073.2023.00028
Artifact: https://doi.org/10.5281/zenodo.7561081
Analyzing the Direct and Transitive Impact of Vulnerabilities onto Different Artifact Repositories
Johannes Düsing and Ben Hermann
In Digital Threats: Research and Practice - Special Issue on Vulnerabilities (2021)
DOI: https://doi.org/10.1145/3472811
Artifact: https://doi.org/10.5281/zenodo.5040439
Academic Activities
- Student Volunteer at ECOOP '22, Berlin.
- Student Volunteer at ICSE '23, Melbourne.
Teaching
Participation in lectures and exercises for the last couple of semesters:
- Data Structures, Algorithms and Programming 1
- Seminar: Abstract Interpretation
- Software Engineering
- Project: Implementation of Software Library Metrics
- Webtechnologies I
- Seminar: Reuse of Open Source Software
- Project: Detecting Vulnerabilities via Static Program Analysis
- Seminar: Software Vulnlerabilities and their detection
- Seminar: Duality of Static and Dynamic Program Analysis