Sven Keidel -

Registered user since Thu 24 Mar 2016

Name: Sven Keidel

Country: Germany

Affiliation: JGU Mainz

Personal website: http://svenkeidel.de

Research interests: Abstract Interpretation, Static Analysis, Category Theory

Contributions

VMCAI 2020	Author of A Systematic Approach to Abstract Interpretation of Program Transformations within the VMCAI 2020-track
SLE 2019	Committee Member in Artifact Evaluation Committee within the SLE 2019-track
PLNL 2018	Author of Sound and Reusable Components for Abstract Interpretation within the PLNL-track
SPLASH 2019	Author of Sound and Reusable Components for Abstract Interpretation within the Posters-track Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA Artifacts-track Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SLE 2018	Committee Member in Artifact Evaluation Committee within the SLE 2018-track
META 2017	Author of Toward Abstract Interpretation of Program Transformations within the Meta 2017-track
ICFP 2018	Author of Compositional Soundness Proofs of Abstract Interpreters within the Research Papers-track
SLE 2016	Author of The IDE Portability Problem and Its Solution in Monto within the SLE-track