Allgemein
2m Euro funding through ERC Consolidator Grant on Automatic Incremental Computing
ACM SIGPLAN Most Influential Paper Award for SLE 2013 paper.
Two new courses in WS 2023/24: Logic Programming + Adv. Functional Programming
We welcome Dr. Prashant Kumar to the team, our new expert on functional programming
New OOPSLA paper on stepping semantics for Datalog debugging accepted
Interactive Debugging of Datalog Programs
André Pacak and Sebastian Erdweg.
In Proceedings of the ACM on Programming Languages (OOPSLA). 2023.
Paper conditionally accepted at ICFP: Combinator-Based Fixpoint Algorithms
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Sven Keidel, Sebastian Erdweg, and Tobias Hombücher.
In Proceedings of the ACM on Programming Languages (ICFP). 2023.
Paper on Static Analysis of WebAssembly accepted at ECOOP
Modular Abstract Definitional Interpreters for WebAssembly
Katharina Brandl, Sebastian Erdweg, Sven Keidel, and Nils Hansen. In Proceedings of European Conference on Object-Oriented Programming (ECOOP). 2023. [ pdf ]
Welcome Runqing Xu, who is starting his PhD in the PL group.
Sebastian interviewed for Spektrum der Wissenschaft on AI-supported Programming
Künstliche Intelligenz: Die Zukunft des Programmierens? by Thomas Brandstetter