conf.researchr.org / Simon Oddershede Gregersen
![Simon Oddershede Gregersen](https://conf.researchr.org/getProfileImage/simonoddershedegregersen/1f5b3d99-10c8-428a-b401-6d009b24059e/small.jpg?1719232869000)
Registered user since Tue 29 Jan 2019
Name:Simon Oddershede Gregersen
Country:United States
Affiliation:New York University
Personal website: http://simongregersen.com
Contributions
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