Scholar
Alejandro Aguirre
Google Scholar ID: 8GM8lPgAAAAJ
Postdoc, Aarhus University
Programming languages
Formal verification
Probabilistic Programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
280
H-index
10
i10-index
11
Publications
20
Co-authors
0
Publications
6 items
Elton: Urn Resources for Reasoning about Adversarial Probabilistic Programs
2026
Cited
0
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
2026
Cited
0
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
2026
Cited
0
A task-based data-flow methodology for programming heterogeneous systems with multiple accelerator APIs
2026
Cited
0
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
2025
Cited
0
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
2025
Cited
0
