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.
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,…
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
Rising Star Award at RSECon25
Florian Sihler received the Rising Star Award at RSECon25.
"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
Waddle Receives iwimint Funding
Waddle, a serious game to teach programming concepts, got funded as an iwimint project!
Book on Algorithmic Game Theory
Florian Sihler co-authored a book on Algorithmic Game Theory together with Jacobo Tor谩n and Julian Nickerl.
Florian Sihler Accepted at the 12th Heidelberg Laureate Forum
Florian got accepted at the 12th HLF which connects researchers with scientific pioneers.
"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…
Principles of Rule-Based Programming
Thom Fr眉hwirth published his book "Principles of Rule-Based Programming".