The IDE portability problem and its solution in Monto. - Sven Keidel; Wulf Pfeiffer; Sebastian Erdweg (SLE, 2016)

Toward abstract interpretation of program transformations. - Sven Keidel; Sebastian Erdweg (META@SPLASH, 2017)

Compositional soundness proofs of abstract interpreters. - Sven Keidel; Casper Bach Poulsen; Sebastian Erdweg (Proc. ACM Program. Lang., 2018)

Sound and reusable components for abstract interpretation. - Sven Keidel; Sebastian Erdweg (Proc. ACM Program. Lang., 2019)

A Systematic Approach to Abstract Interpretation of Program Transformations. - Sven Keidel; Sebastian Erdweg (VMCAI, 2020)

Modular Specification and Compositional Soundness of Abstract Interpreters. - Sven Keidel (2021)

Modular Abstract Definitional Interpreters for WebAssembly. - Katharina Brandl; Sebastian Erdweg; Sven Keidel; Nils Hansen (ECOOP, 2023)

Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters. - Sven Keidel; Sebastian Erdweg; Tobias Hombücher (Proc. ACM Program. Lang., 2023)

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture". - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (Zenodo, 2023)

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture". - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (Zenodo, 2023)

A Modular Soundness Theory for the Blackboard Analysis Architecture. - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (ESOP (2), 2024)

Abstracting Denotational Interpreters. - Sebastian Graf 004; Simon Peyton Jones; Sven Keidel (CoRR, 2024)

Total Recall? How Good are Static Call Graphs Really? - Companion Artifact. - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Zenodo, 2024)

Total Recall? How Good are Static Call Graphs Really? - Companion Artifact. - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Zenodo, 2024)

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features - Companion Artifact. - Dominik Helm; Tobias Roth; Sven Keidel; Michael Reif; Mira Mezini (Zenodo, 2024)

Artifact of the paper "AXA: Cross-Language Analysis through Integration of Single-Language Analyses". - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Zenodo, 2024)

Artifact of the paper "AXA: Cross-Language Analysis through Integration of Single-Language Analyses". - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Zenodo, 2024)

Total Recall? How Good Are Static Call Graphs Really? - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Software Engineering, 2025)

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. - Dominik Helm; Tobias Roth; Sven Keidel; Michael Reif; Mira Mezini (Software Engineering, 2025)

AXA: Cross-Language Analysis through Integration of Single-Language Analyses. - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Software Engineering, 2025)