• Sign in
  • Sign up
conf.researchr.org / Sven Keidel
  • ICFP 2018 profile
  • ICFP 2019 profile
  • PLNL 2018 profile
  • POPL 2020 profile
  • SPLASH 2016 profile
  • SPLASH 2017 profile
  • SPLASH 2018 profile
  • SPLASH 2019 profile
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 2020Author of A Systematic Approach to Abstract Interpretation of Program Transformations within the VMCAI 2020-track
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 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 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

Share
xSun 15 Dec 16:48
using conf.researchr.org (v1.21.5)
Support page
Sign Up