research
∙
11/29/2021
A Separation Logic for Negative Dependence
Formal reasoning about hashing-based probabilistic data structures often...
share
research
∙
07/31/2021
Structure Amplification on Multi-layer Stochastic Block Models
Much of the complexity of social, biological, and engineered systems ari...
research
∙
06/09/2021
Data-Driven Invariant Learning for Probabilistic Programs
Morgan and McIver's weakest pre-expectation framework is one of the most...
research
∙
08/20/2020