Alejandro Aguirre

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 23

Top Topics

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

J. Funct. Program.

Publications

Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal
Tachis: Higher-Order Separation Logic with Credits for Expected Costs. CoRR (2024)
Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Approximate Relational Reasoning for Higher-Order Probabilistic Programs. CoRR (2024)
Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal
Almost-Sure Termination by Guarded Refinement. CoRR (2024)
Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs. CoRR (2024)
Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proc. ACM Program. Lang. 8 (POPL) (2024)
Alejandro Aguirre, Lars Birkedal
Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice. Proc. ACM Program. Lang. 7 (POPL) (2023)
Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. CoRR (2023)
Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe
Symbolic Synthesis of Indifferentiability Attacks. AsiaCCS (2022)
Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura
Weakest preconditions in fibrations. Math. Struct. Comput. Sci. 32 (4) (2022)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR (2021)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A pre-expectation calculus for probabilistic sensitivity. Proc. ACM Program. Lang. 5 (POPL) (2021)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Alejandro Aguirre, Shin-ya Katsumata
Weakest Preconditions in Fibrations. MFPS (2020)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Kantorovich Continuity of Probabilistic Programs. CoRR (2019)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A relational logic for higher-order programs. J. Funct. Program. 29 (2019)
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization. Proc. ACM Program. Lang. 3 (POPL) (2019)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Almost Sure Productivity. CoRR (2018)
Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. CoRR (2018)
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
Formal verification of higher-order probabilistic programs. CoRR (2018)
Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. ESOP (2018)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Almost Sure Productivity. ICALP (2018)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A Relational Logic for Higher-Order Programs. CoRR (2017)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A relational logic for higher-order programs. Proc. ACM Program. Lang. 1 (ICFP) (2017)