Alejandro Aguirre
Orcid: 0000-0001-6746-2734Affiliations:
- Aarhus University: Aarhus, Denmark
- IMDEA Software, Madrid, Spain (former)
According to our database1,
Alejandro Aguirre
authored at least 23 papers
between 2017 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
6
7
8
2
5
1
1
2
2
1
1
1
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
Proc. ACM Program. Lang., 2025
2024
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs - Coq Artifact.
Dataset, June, 2024
Proc. ACM Program. Lang., January, 2024
Proc. ACM Program. Lang., 2024
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.
Proc. ACM Program. Lang., 2024
2023
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic - Coq Artifact.
Dataset, October, 2023
Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice.
Proc. ACM Program. Lang., January, 2023
2022
Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022
2021
Higher-order probabilistic adversarial computations: categorical semantics and program logics.
Proc. ACM Program. Lang., 2021
Proc. ACM Program. Lang., 2021
2020
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020
2019
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.
Proc. ACM Program. Lang., 2019
2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the Programming Languages and Systems, 2018
2017