conf.researchr.org / Simon Oddershede Gregersen
Registered user since Tue 29 Jan 2019
Name:Simon Oddershede Gregersen
Country:Germany
Affiliation:CISPA Helmholtz Center for Information Security
Personal website: http://simongregersen.com
Contributions
2026
SPLASH
PLDI
2025
2024
ICFP
- Author of Almost-Sure Termination by Guarded Refinement within the ICFP Papers and Events-track
- Author of Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs within the ICFP Papers and Events-track
- Author of Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs within the Artifact Evaluation-track
- Author of Almost-Sure Termination by Guarded Refinement within the Artifact Evaluation-track