bibliographer - Marco Gaboardi

bibliographer a curated TCS bibliography

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

The Complexity of Verifying Loop-Free Programs as Differentially Private Marco Gaboardi Kobbi Nissim David Purser [github]

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]

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

A Soft Type Assignment System for łambda-Calculus Marco Gaboardi Simona Ronchi Della Rocca [github]

A Core Quantitative Coeffect Calculus Aloïs Brunel Marco Gaboardi Damiano Mazza Steve Zdancewic [github]

Linear Dependent Types and Relative Completeness Ugo Dal Lago Marco Gaboardi [github]

Sensitivity analysis using type-based constraints Loris DtextquotesingleAntoni Marco Gaboardi Emilio Jesús Gallego Arias Andreas Haeberlen Benjamin Pierce [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]

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

[show logs] [hide logs]