News

"Rethinking Pivot Programming Languages in Code Language Models" accepted in Empirical Methods in Natural Language Processing (EMNLP 2026)

We are pleased to announce that our paper "Rethinking Pivot Programming Languages in Code Language Models" has been accepted in Empirical Methods in…

published at: 23. September 2026

"EditQL: A query language for evolving models" accepted in Software and Systems Modeling (SoSyM)

We are pleased to announce that our paper "EditQL: A query language for evolving models" has been published in the Journal of Software and Systems…

published at: 21. September 2026

"Inferring the Shape of Data Frames in R Programs using Abstract Interpretation" accepted at ASE '26

Our paper "Inferring the Shape of Data Frames in R Programs using Abstract Interpretation" by Oliver Gerstl, Florian Sihler and Matthias Tichy got…

published at: 13. July 2026

New research area unlocked: Jun.-Prof. Bianca Wiesmayr joined the institute.

We are pleased to share that Bianca Wiesmayr has joined our institute as a new junior professor for software engineering (effective April 1, 2026).

published at: 27. May 2026

Waddle at LaWi 2026

We participated in the Langer Abend der Wissenschaft 2026 at Ulm University.

published at: 18. May 2026

Award for the Best Bachelor's Degree

Lukas Rohde receives the award for the best bachelor's degree in the field of computer science at Ulm University.

published at: 10. May 2026

"Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition" accepted at SANER'26

Our paper "Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition" by Denis Neumüller,…

published at: 10. April 2026

flowR Receives Unrestricted Gift From Posit

flowR, a static analyzer for R, receives an unrestricted gift from Posit to support the flowR's security analysis

published at: 06. December 2025

Rising Star Award at RSECon25

Florian Sihler received the Rising Star Award at RSECon25.

published at: 23. September 2025

"Statically Analyzing the Dataflow of R Programs" accepted at OOPSLA '25

Our paper on "Statically Analyzing the Dataflow of R Programs" got accepted at SPLASH/OOPSLA '25

published at: 13. August 2025