Tobias Roth

I am a PhD student in the Static Analysis subgroup of the Software Technology Group at TU Darmstadt.

• 2020 – now, Technische Unviersität Darmstadt, PhD student, advised by Mira Mezini
• 2017 - 2020, Technische Universität Darmstadt master´s degree
• 2014 - 2017, Technische Universität Darmstadt, bachelor´s degree
• 2011 - 2014, Apprenticeship as an IT Management Assistant at SAMSON AG Frankfurt a.M.

My research interests are focused on static analysis of multi-language software systems.

I'm a contributor to the OPAL project, a static analysis framework for Java bytecode.

Publications:

• (forthcoming) AXA: Cross-Language Analysis through Integration of Single-Language Analyses (2024) by Roth, Tobias, Näumann, Julius, Helm, Dominik, Keidel, Sven, & Mezini, Mira In: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  Paper Download Artifact

• Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features (2024) by Helm, Dominik; Roth, Tobias; Keidel, Sven; Reif, Michael; Mezini, Mira In: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 51-62)
  Paper Link + Download Artifact

• Total Recall? How Good Are Static Call Graphs Really? (2024) by Helm, Dominik; Keidel, Sven; Kampkötter, Anemone; Düsing, Johannes; Roth, Tobias; Hermann, Ben; Mezini, Mira In: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 112-123)
  Paper Link + Download Artifact

• Reusing Single-Language Analyses for Static Analysis of Multi-language Programs (2023) by Roth, Tobias In: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (pp. 16-18)
  Paper Link + Download

• A Modular Soundness Theory for the Blackboard Analysis Architecture (2024)
  by Keidel, Sven; Helm, Dominik; Roth, Tobias; Mezini, Mira (2024):
  In: Lecture Notes in Computer Science, 14577, In: Programming Languages and Systems, pp. 361-390, Springer, 33rd European Symposium on Programming (ESOP 2024), Luxembourg
  Paper Link

• Wasma: A static webassembly analysis framework for everyone (2023)
  by Breitfelder, Florian; Roth, Tobias; Baumgärtner, Lars; Mezini, Mira
  In 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (pp. 753-757)
  Paper Link

• CiFi: Versatile Analysis of Class and Field Immutability (2022)
  by Roth, Tobias; Helm, Dominik; Reif, Michael; Mezini, Mira
  In: Software Engineering 2022: Fachtagung des GI-Fachbereichs Softwaretechnik, pp. 81-82, Gesellschaft für Informatik e.V., Software Engineering 2022
  Paper Link + Download

• CiFi: Versatile Analysis of Class and Field Immutability (2021)
  by Roth, Tobias; Helm, Dominik; Reif, Michael; Mezini, Mira
  In: Proceedings: 2021 36th IEEE/ACM International Conference on Automated Software Engineering, IEEE, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  Paper Link + Download [Artifact][https://zenodo.org/doi/10.5281/zenodo.5105998]

Awards:

• Best Artifact Award (ISSTA24) for the artifact of the Unimocg-Paper Artifact
• Distinguished Paper Award (ASE21) for the paper CiFi: Versatile Analysis of Class and Field Immutability Link Paper
• Best Artifact Award (ASE21) for the artifact of the CiFi-Paper Artifact

Contact

Tobias Roth, M. Sc.
Email: roth(at)cs.tu-darmstadt.de
Phone: +49 6151 16-21369

Software Technology Group
Hochschulstr. 10
64289 Darmstadt
Germany

Business Page