The Programming Languages research group of KIT is led by Sebastian Erdweg since 2025.

The PL team develops programming languages and programming tools that help developers to tackle the inherent complexity of software. Our key research topics are static program analysis and incremental computing.

 

News

Paper accepted at ECOOP 26

The Virtual Recency Abstraction (Strong Updates for Abstract Interpreters with Shared State), by Sven Keidel, Raphaël Monat and Sebastian Erdweg has been accepted at ECOOP 26, and will be presented in Brussels on Tuesday, June 2nd. 

Access the paper on KITopen
Paper accepted at OOPSLA 26

Differential Execution with Lexical Tracing by Sebastian Erdweg, Runqing Xu and Mo Bitar has been accepted at SPLASH/OOPSLA 2026, hosted in Oakland, USA.

Access the preprint
Paper accepted at POPL 26

Stateful Differential Operators for Incremental Computing by Runqing Xu and Sebastian Erdweg has been accepted at POPL 2026 (Principles of Programming Languages), hosted in Rennes, France.

Access the paper on KITopen
Distinguished Artifact Award certificate
Distinguished Artifact Award at ECOOP 25

Incremental Computing by Differential Execution by Prashant Kumar, André Pacak and Sebastian Erdweg received the Disinguished Artifact Award at ECOOP 2025, in Bergen, Norway.

Paper accepted at ECOOP 25

First-class containers for Datalog by Runqing Xu, David Klopp and Sebastian Erdweg has been accepted at ECOOP 2025, hosted in Bergen, Norway.

Access the paper