Welcome to the Programming Languages (PL) research group of KIT, 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:
 application intent, security, performance, safety, and correctness. Our key research topics are domain-specific languages, logic programming, static analysis, and incremental computing.

 

News

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