research
∙
09/15/2023
Satisfiability.jl: Satisfiability Modulo Theories in Julia
Satisfiability modulo theories (SMT) is a core tool in formal verificati...
share
research
∙
08/21/2023
Optimal Dorfman Group Testing For Symmetric Distributions
We study Dorfman's classical group testing protocol in a novel setting w...
research
∙
07/31/2023
Logical Synchrony and the bittide Mechanism
We introduce logical synchrony, a framework that allows distributed comp...
research
∙
02/15/2022
Probabilistic Modeling Using Tree Linear Cascades
We introduce tree linear cascades, a class of linear structural equation...
research
∙
11/09/2021
Resistance Distance and Control Performance for Google bittide Synchronization
We discuss control of bittide distributed systems, which are designed to...
research
∙
09/29/2021
Modeling and Control of Google bittide Synchronization
Distributed system applications rely on a fine-grain common sense of tim...
research
∙
02/05/2017