News

"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

Waddle Receives iwimint Funding

Waddle, a serious game to teach programming concepts, got funded as an iwimint project!

published at: 26. June 2025

Book on Algorithmic Game Theory

Florian Sihler co-authored a book on Algorithmic Game Theory together with Jacobo Torán and Julian Nickerl.

published at: 26. June 2025

Florian Sihler Accepted at the 12th Heidelberg Laureate Forum

Florian got accepted at the 12th HLF which connects researchers with scientific pioneers.

published at: 26. June 2025

"FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings" published in "Theory and Practice of Logic Programming"

Our article "FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings" by Sascha Rechenberger and Thom Frühwirth was published in the…

published at: 18. June 2025

Principles of Rule-Based Programming

Thom Frühwirth published his book "Principles of Rule-Based Programming".

published at: 13. May 2025

"Providing Information About Implemented Algorithms Improves Program Comprehension: A Controlled Experiment" accepted at EASE'25

Our paper "Providing Information About Implemented Algorithms Improves Program Comprehension: A Controlled Experiment" by Denis Neumüller, Alexander…

published at: 12. May 2025