| 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 | 19 | 2016 |
| Sound and reusable components for abstract interpretation S Keidel, S Erdweg Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 12 | 2019 |
| Compositional soundness proofs of abstract interpreters S Keidel, CB Poulsen, S Erdweg Proceedings of the ACM on Programming Languages 2 (ICFP), 1-26, 2018 | 12 | 2018 |
| A disintegrated development environment S Keidel Technische Universität Darmstadt, 2015 | 4 | 2015 |
| A systematic approach to abstract interpretation of program transformations S Keidel, S Erdweg Verification, Model Checking, and Abstract Interpretation: 21st …, 2020 | 2 | 2020 |
| Toward abstract interpretation of program transformations S Keidel, S Erdweg Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta …, 2017 | 2 | 2017 |
| Modular Specification and Compositional Soundness of Abstract Interpreters S Keidel Johannes Gutenberg-Universität Mainz, 2021 | | 2021 |
Sebastian ErdwegProfessor of Computer Science, JGU MainzVerified email at uni-mainz.de
