bibliographer - Justin Hsu

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]

Linear Dependent Types for Differential Privacy Marco Gaboardi Andreas Haeberlen Justin Hsu Arjun Narayan Benjamin C. Pierce [github]

Synthesizing coupling proofs of differential privacy Aws Albarghouthi Justin Hsu [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]

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time Steffen Smolka Nate Foster Justin Hsu Tobias Kappé Dexter Kozen Alexandra Silva [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 (6 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]