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 | 22 | 2016 |
Compositional soundness proofs of abstract interpreters S Keidel, CB Poulsen, S Erdweg Proceedings of the ACM on Programming Languages 2 (ICFP), 1-26, 2018 | 21 | 2018 |
Sound and reusable components for abstract interpretation S Keidel, S Erdweg Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 20 | 2019 |
A systematic approach to abstract interpretation of program transformations S Keidel, S Erdweg Verification, Model Checking, and Abstract Interpretation: 21st …, 2020 | 4 | 2020 |
A disintegrated development environment S Keidel Technische Universität Darmstadt, 2015 | 4 | 2015 |
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 | 3 | 2023 |
Modular Abstract Definitional Interpreters for WebAssembly K Brandl, S Erdweg, S Keidel, N Hansen 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 3 | 2023 |
Toward abstract interpretation of program transformations S Keidel, S Erdweg Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta …, 2017 | 3 | 2017 |
A Modular Soundness Theory for the Blackboard Analysis Architecture S Keidel, D Helm, T Roth, M Mezini European Symposium on Programming, 361-390, 2024 | | 2024 |
Abstracting Denotational Interpreters S Graf, SP Jones, S Keidel arXiv preprint arXiv:2403.02778, 2024 | | 2024 |
Total Recall? How Good Are Static Call Graphs Really? D Helm, S Keidel, A Kampkötter, J Düsing, T Roth, B Hermann, M Mezini | | 2024 |
Modular Specification and Compositional Soundness of Abstract Interpreters S Keidel Dissertation, Mainz, Johannes Gutenberg-Universität Mainz, 2021, 2021 | | 2021 |