conf.researchr.org / Simon Oddershede Gregersen
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