conf.researchr.org / Sven Keidel
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

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