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