https://pleiad.cl/people/mtoro
Allgemein
Prof. Matias Toro (U Chile) is visiting our lab for two weeks.
Sebastian serves as Associate Editor for OOPSLA 2025
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 ]