| Compositional soundness proofs of abstract interpreters S Keidel, CB Poulsen, S Erdweg Proceedings of the ACM on Programming Languages 2 (ICFP), 1-26, 2018 | 28 | 2018 |
| 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 | 25 | 2016 |
| Sound and reusable components for abstract interpretation S Keidel, S Erdweg Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 24 | 2019 |
| Modular abstract definitional interpreters for webassembly K Brandl, S Erdweg, S Keidel, N Hansen 37th European Conference on Object-Oriented Programming (ECOOP 2023), 5: 1-5: 28, 2023 | 11 | 2023 |
| 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 | 7 | 2023 |
| 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 |
| 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 | 2 | 2024 |
| Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features D Helm, T Roth, S Keidel, M Reif, M Mezini Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | 1 | 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 Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | 1 | 2024 |
| AXA T Roth, J Näumann, D Helm, S Keidel, M Mezini Software Engineering 2025, 10.18420/se2025-29, 2025 | | 2025 |
| Unimocg D Helm, T Roth, S Keidel, M Reif, M Mezini Software Engineering 2025, 10.18420/se2025-15, 2025 | | 2025 |
| AXA: Cross-Language Analysis through Integration of Single-Language Analyses T Roth, J Näumann, D Helm, S Keidel, M Mezini Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
| Abstracting Denotational Interpreters S Graf, SP Jones, S Keidel arXiv preprint arXiv:2403.02778, 2024 | | 2024 |
| LIPIcs, Volume 263, ECOOP 2023, Complete Volume}} K Ali, G Salvaneschi, AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, ... 37th European Conference on Object-Oriented Programming (ECOOP 2023) 263, 9, 2023 | | 2023 |
| 37th European Conference on Object-Oriented Programming (ECOOP 2023) AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| Modular Specification and Compositional Soundness of Abstract Interpreters S Keidel Johannes Gutenberg-Universität Mainz, 2021 | | 2021 |
Sebastian ErdwegProfessor of Computer Science, JGU MainzVahvistettu sähköpostiosoite verkkotunnuksessa uni-mainz.de