Sven Keidel

16 papers A* 1A 3B 2C 3Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 C conf
AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
Software Engineering
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
2025 C conf
Total Recall? How Good Are Static Call Graphs Really?
Software Engineering
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
2025 C conf
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
Software Engineering
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
2024 — conf
A Modular Soundness Theory for the Blackboard Analysis Architecture.
ESOP (2)
Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini
2024 A* conf
AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
ASE
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
2024 J jnl
Abstracting Denotational Interpreters.
CoRR
Sebastian Graf, Simon Peyton Jones, Sven Keidel
2024 A conf
Total Recall? How Good Are Static Call Graphs Really?
ISSTA
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
2024 A conf
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
ISSTA
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
2023 J jnl
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.
Proc. ACM Program. Lang.
Sven Keidel, Sebastian Erdweg, Tobias Hombücher
2023 A conf
Modular Abstract Definitional Interpreters for WebAssembly.
ECOOP
Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen
2021 — —
Modular Specification and Compositional Soundness of Abstract Interpreters.
Sven Keidel
2020 B conf
A Systematic Approach to Abstract Interpretation of Program Transformations.
VMCAI
Sven Keidel, Sebastian Erdweg
2019 J jnl
Sound and reusable components for abstract interpretation.
Proc. ACM Program. Lang.
Sven Keidel, Sebastian Erdweg
2018 J jnl
Compositional soundness proofs of abstract interpreters.
Proc. ACM Program. Lang.
Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg
2017 — conf
Toward abstract interpretation of program transformations.
META@SPLASH
Sven Keidel, Sebastian Erdweg
2016 B conf
The IDE portability problem and its solution in Monto.
SLE
Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg