• 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 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

Share
xMon 19 Apr 14:28
using conf.researchr.org (v1.45.0)
Support page
Sign Up