conf.researchr.org / Alejandro Aguirre
Registered user since Tue 25 Apr 2023
Name:Alejandro Aguirre
Country:Denmark
Affiliation:Aarhus University
Personal website: https://cs.au.dk/~alejandro/
Contributions
2025
2024
ICFP
- Author of Almost-Sure Termination by Guarded Refinement within the Artifact Evaluation-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 ICFP Papers and Events-track
- Web Co-Chair in Organizing Committee