Follow
Sven Keidel
Sven Keidel
TU Darmstadt, Germany
Verified email at tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
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
182016
Compositional soundness proofs of abstract interpreters
S Keidel, CB Poulsen, S Erdweg
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-26, 2018
132018
Sound and reusable components for abstract interpretation
S Keidel, S Erdweg
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
122019
A disintegrated development environment
S Keidel
Technische Universitšt Darmstadt, 2015
42015
A systematic approach to abstract interpretation of program transformations
S Keidel, S Erdweg
International Conference on Verification, Model Checking, and Abstract†…, 2020
22020
Toward abstract interpretation of program transformations
S Keidel, S Erdweg
Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta†…, 2017
22017
Modular Specification and Compositional Soundness of Abstract Interpreters
S Keidel
Johannes Gutenberg-Universitšt Mainz, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–7