https://pleiad.cl/people/mtoro
Allgemein
Typed Multi-Level IR for Datalog accepted at OOPSLA
Object-oriented Datalog paper accepted at OOPSLA
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.