Sven Keidel

According to our database, Sven Keidel authored at least 5 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Systematic Approach to Abstract Interpretation of Program Transformations.

Sven Keidel, Sebastian Erdweg

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Sound and reusable components for abstract interpretation.

Sven Keidel, Sebastian Erdweg

Proc. ACM Program. Lang., 2019

2018

Compositional soundness proofs of abstract interpreters.

Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg

Proc. ACM Program. Lang., 2018

2017

Toward abstract interpretation of program transformations.

Sven Keidel, Sebastian Erdweg

Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2017

2016

The IDE portability problem and its solution in Monto.

Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016