Allgemein
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
Paper in memory of Eelco Visser: On Solving Solved Problems
GPCE Paper: Incremental Processing of Structured Data in Datalog
by André Pacak, Tamás Szabó, and Sebastian Erdweg
Paper accepted at ECOOP: Functional Programming with Datalog
by André Pacak and Sebastian Erdweg