bibliographer - Alejandro Aguirre

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Formal verification of higher-order probabilistic programs Tetsuya Sato Alejandro Aguirre Gilles Barthe Marco Gaboardi Deepak Garg Justin Hsu [github]

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus Alejandro Aguirre Gilles Barthe Lars Birkedal Aleš Bizjak Marco Gaboardi Deepak Garg [github]

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 [github]

A pre-expectation calculus for probabilistic sensitivity Alejandro Aguirre Gilles Barthe Justin Hsu Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]