Follow
Sven Keidel
Sven Keidel
TU Darmstadt, Germany
Verified email at tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
Compositional soundness proofs of abstract interpreters
S Keidel, CB Poulsen, S Erdweg
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-26, 2018
212018
The IDE portability problem and its solution in Monto
S Keidel, W Pfeiffer, S Erdweg
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
212016
Sound and reusable components for abstract interpretation
S Keidel, S Erdweg
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
192019
A systematic approach to abstract interpretation of program transformations
S Keidel, S Erdweg
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
42020
A disintegrated development environment
S Keidel
Technische Universität Darmstadt, 2015
42015
Toward abstract interpretation of program transformations
S Keidel, S Erdweg
Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta …, 2017
32017
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
S Keidel, S Erdweg, T Hombücher
Proceedings of the ACM on Programming Languages 7 (ICFP), 955-981, 2023
22023
Modular Abstract Definitional Interpreters for WebAssembly
K Brandl, S Erdweg, S Keidel, N Hansen
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
22023
Abstracting Denotational Interpreters
S Graf, SP Jones, S Keidel
arXiv preprint arXiv:2403.02778, 2024
2024
Modular Specification and Compositional Soundness of Abstract Interpreters
S Keidel
Dissertation, Mainz, Johannes Gutenberg-Universität Mainz, 2021, 2021
2021
A Modular Soundness Theory for the Blackboard Analysis Architecture
S Keidel, D Helm, T Roth, M Mezini
The system can't perform the operation now. Try again later.
Articles 1–11