research
∙
09/06/2023
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)
Grove is a concurrent separation logic library for verifying distributed...
share
research
∙
01/24/2023
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Probabilistic couplings are the foundation for many probabilistic relati...
research
∙
11/29/2021
A Separation Logic for Negative Dependence
Formal reasoning about hashing-based probabilistic data structures often...
research
∙
09/26/2021
Rabia: Simplifying State-Machine Replication Through Randomization
We introduce Rabia, a simple and high performance framework for implemen...
research
∙
07/14/2020
Verification of ML Systems via Reparameterization
As machine learning is increasingly used in essential systems, it is imp...
research
∙
11/01/2019
A Formal Proof of PAC Learnability for Decision Stumps
We present a machine-checked, formal proof of PAC learnability of the co...
research
∙
10/02/2018
Sketching for Latent Dirichlet-Categorical Models
Recent work has explored transforming data sets into smaller, approximat...
research
∙
02/08/2018
A Separation Logic for Concurrent Randomized Programs
We present a concurrent separation logic with support for probabilistic ...
research
∙
12/12/2013