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.
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).