To content
Fakultät für Informatik

OPAL Research Meeting in Darmstadt

A group of smiling researchers on and behind a stone bench © Ben Hermann​/​TU Dortmund
Sitting on the famous OPAL stone bench in Darmstadt's Herrngarten: (left to right, above to below) Sven Keidel, Dominik Helm, Anemone Kampkötter, Tobias Roth, Ben Hermann, Patrick Müller

Our research group visits the Software Technology Group at Technische Universität Darmstadt led by Prof. Dr. Mira Mezini.

In our regular interval we met with researcher from the Software Technology Group at Technische Universität Darmstadt. As both our groups are involved in the development of the OPAL framework we have an in-person meeting roughly every six months to catch up with the other groups work. 

OPAL is a highly-configurable static program analysis framework for JVM languages. It supports Java 19 Bytecode and is written entirely in Scala. Client analyses can thus be also written in any JVM-compatible language. 

We had two amazing day in Darmstadt discussing our current and future research ideas as well as ongoing work to improve the OPAL framework. Some great ideas for a version 6 of OPAL were drafted, but we have no release date for this yet. Also, the Darmstadt people and us had a lot of fun exploring the city in perfect weather.

Our recent publications using OPAL

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