Alejandro Aguirre

A relational logic for higher-order programs

Alejandro Aguirre, Gilles Barthe, Deepak Garg et al. · Proceedings of the ACM on Programming Languages · 2017 · 50 citations · Full text

Computing, Computer Science, Formal Methods +13

Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe et al. · Proceedings of the ACM on Programming Languages · 2019 · 28 citations · Full text

Computing, Computer Science, Logic +16

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al. · Proceedings of the ACM on Programming Languages · 2024 · 20 citations · Full text

Computing, Computer Science, Formal Methods +14

Weakest Preconditions in Fibrations

Alejandro Aguirre, Shin-ya Katsumata · Electronic Notes in Theoretical Computer Science · 2020 · 14 citations · Full text

Computing, Computer Science, Mathematics +14

Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice

Alejandro Aguirre, Lars Birkedal · Proceedings of the ACM on Programming Languages · 2023 · 13 citations · Full text

Computing, Computer Science, Mathematics +12