| Paper accepted at ECOOP 26 The Virtual Recency Abstraction (Strong Updates for Abstract Interpreters with Shared State), by Sven Keidel, Raphaël Monat and Sebastian Erdweg has been accepted at ECOOP 26, and will be presented in Brussels on Tuesday, June 2nd. Access the paper on KITopen |
 Distinguished Artifact Award at ECOOP 25Incremental 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 |
| 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 |
| Sebastian gives keynote at Workshop on Future Debugging Techniques |
| 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 |
