Alejandro Aguirre

According to our database, Alejandro Aguirre authored at least 19 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic.

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

Proc. ACM Program. Lang., January, 2024

Modelling Probabilistic FPC in Guarded Type Theory.

Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal

CoRR, 2024

Approximate Relational Reasoning for Higher-Order Probabilistic Programs.

Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal

CoRR, 2024

Tachis: Higher-Order Separation Logic with Credits for Expected Costs.

Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal

CoRR, 2024

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.

Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal

CoRR, 2024

Almost-Sure Termination by Guarded Refinement.

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

CoRR, 2024

2023

Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice.

Alejandro Aguirre, Lars Birkedal

Proc. ACM Program. Lang., January, 2023

2022

Weakest preconditions in fibrations.

Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura

Math. Struct. Comput. Sci., April, 2022

Symbolic Synthesis of Indifferentiability Attacks.

Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe

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.

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato

Proc. ACM Program. Lang., 2021

A pre-expectation calculus for probabilistic sensitivity.

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Proc. ACM Program. Lang., 2021

2020

Relational logics for higher-order effectful programs.

Alejandro Aguirre

PhD thesis, 2020

Weakest Preconditions in Fibrations.

Alejandro Aguirre, Shin-ya Katsumata

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.

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu

Proc. ACM Program. Lang., 2019

Kantorovich Continuity of Probabilistic Programs.

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

CoRR, 2019

2018

Formal verification of higher-order probabilistic programs.

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu

CoRR, 2018

Almost Sure Productivity.

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.

Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg

Proceedings of the Programming Languages and Systems, 2018

2017

A relational logic for higher-order programs.

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub

Proc. ACM Program. Lang., 2017