Alejandro Aguirre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic. | Virgil Marionneau, Flix Sassus Bourda, Alejandro Aguirre, Lars Birkedal |
| 2026 | LICS | Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic. | Markus de Medeiros, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, Joseph Tassarotti |
| 2022 | AsiaCCS | Symbolic Synthesis of Indifferentiability Attacks. | Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe |
| 2020 | MFPS | Weakest Preconditions in Fibrations. | Alejandro Aguirre, Shin-ya Katsumata |
| 2018 | ESOP | Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. | Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg |
| 2018 | ICALP | Almost Sure Productivity. | Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva |
| 2007 | HCI | Dealing with Computer Literacy and Age Differences in the Design of a Ubicomp System to Cope with Cognitive Decline in Lonely Elders. | Marcela D. Rodrguez, Alejandro Aguirre, Alberto L. Morn, Oscar Mayora-Ibarra |