Shortly before the holidays the OPAL team prepared a little gift themselves. OPAL 7 has just been released. And it finally provides support for Scala 3 (3.7.3 to be exact). We have been working on that for some time now. Functionality-wise it is the same as OPAL 6. You can perform bytecode parsing, abstract interpretation, call-graph construction, ... for JVM (Java, Scala, ...) bytecode from version 1.0 to 25.

Check it out on GitHub (https://github.com/opalj/opal/releases/tag/7.0.0) or Maven (https://central.sonatype.com/search?q=opal-project)

Quantum computing is slowly becoming available for everyone, but we’re still far from everyday use. What’s missing is scalable program analysis. Falk Howar, Benedikt Fauseweh, and I want to change that. We’ll work on scaling verification for digital quantum simulations—an exciting field modelling complex quantum processes as quantum programs. It’s also my first interdisciplinary project with a physicist! Exciting times ahead as we see what the next three years bring.

https://cs.tu-dortmund.de/en/details/dfg-foerdert-dortmunder-projekt-zur-verifikation-digitaler-quantensimulationen-57937/

In my seminar last week, the students discussed "Understanding and improving artifact sharing in software engineering research" by Timperley, Herckis, @clegoues, and @michaelhilton
For their presentation they chose the overhead projector and made slides that line up. They filled them out with the other students in three separate discussions. Sometimes old tech beats a collaboration platform when you're in the same room. 😄

https://doi.org/10.1007/s10664-021-09973-5