| 2026 | ECOOP | The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State. | Sven Keidel, Raphal Monat, Sebastian Erdweg |
| 2024 | ESOP | A Modular Soundness Theory for the Blackboard Analysis Architecture. | Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini |
| 2024 | ISSTA | Total Recall? How Good Are Static Call Graphs Really? | Dominik Helm, Sven Keidel, Anemone Kampktter, Johannes Dsing, Tobias Roth, Ben Hermann, Mira Mezini |
| 2024 | ISSTA | Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. | Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini |
| 2023 | ECOOP | Modular Abstract Definitional Interpreters for WebAssembly. | Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen |
| 2020 | VMCAI | A Systematic Approach to Abstract Interpretation of Program Transformations. | Sven Keidel, Sebastian Erdweg |
| 2017 | OOPSLA | Toward abstract interpretation of program transformations. | Sven Keidel, Sebastian Erdweg |
| 2016 | SLE | The IDE portability problem and its solution in Monto. | Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg |