bibliographer - Deepak Garg

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]

Concurrent Self-Explaining Computation Roly Perera Deepak Garg Umut Acar [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]

Countermodels from Sequent Calculi in Multi-Modal Logics Deepak Garg Valerio Genovese Sara Negri [github]

Dependent Type Theory for Verification of Information Flow and Access Control Policies Aleksandar Nanevski Anindya Banerjee 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]

Library Size: 13G (6 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]