Sven Keidel

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A Systematic Approach to Abstract Interpretation of Program Transformations.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019
Sound and reusable components for abstract interpretation.
Proc. ACM Program. Lang., 2019

2018
Compositional soundness proofs of abstract interpreters.
Proc. ACM Program. Lang., 2018

2017
Toward abstract interpretation of program transformations.
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.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016


  Loading...