Sven Keidel

According to our database, Sven Keidel authored at least 15 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Dataset, March, 2024

Abstracting Denotational Interpreters.

Sebastian Graf, Simon Peyton Jones, Sven Keidel

CoRR, 2024

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.

Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 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

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

A Modular Soundness Theory for the Blackboard Analysis Architecture.

Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini

Proceedings of the Programming Languages and Systems, 2024

2023

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture".

Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini

Dataset, December, 2023

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture".

Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini

Dataset, December, 2023

Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.

Sven Keidel, Sebastian Erdweg, Tobias Hombücher

Proc. ACM Program. Lang., August, 2023

Modular Abstract Definitional Interpreters for WebAssembly.

Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

Modular Specification and Compositional Soundness of Abstract Interpreters.

Sven Keidel

PhD thesis, 2021

2020

A Systematic Approach to Abstract Interpretation of Program Transformations.

Sven Keidel, Sebastian Erdweg

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Sound and reusable components for abstract interpretation.

Sven Keidel, Sebastian Erdweg

Proc. ACM Program. Lang., 2019

2018

Compositional soundness proofs of abstract interpreters.

Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg

Proc. ACM Program. Lang., 2018

2017

Toward abstract interpretation of program transformations.

Sven Keidel, Sebastian Erdweg

Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2017

2016

The IDE portability problem and its solution in Monto.

Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016