research
∙
09/13/2023
Joint Distributions in Probabilistic Semantics
Various categories have been proposed as targets for the denotational se...
share
research
∙
05/02/2023
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
We introduce Probabilistic Guarded Kleene Algebra with Tests (ProbGKAT),...
research
∙
01/25/2023
Multisets and Distributions
We give a lightweight alternative construction of Jacobs's distributive ...
research
∙
01/07/2023
Abstract Huffman Coding and PIFO Tree Embeddings
Algorithms for deriving Huffman codes and the recently developed algorit...
research
∙
11/21/2022
Formal Abstractions for Packet Scheduling
This paper studies PIFO trees from a programming language perspective. P...
research
∙
01/25/2022
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with op...
research
∙
02/16/2021
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT...
research
∙
11/26/2020
Universal Semantics for the Stochastic Lambda-Calculus
We define sound and adequate denotational and operational semantics for ...
research
∙
05/23/2020
Minimisation in Logical Form
Stone-type dualities provide a powerful mathematical framework for study...
research
∙
07/12/2019
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Guarded Kleene Algebra with Tests (GKAT) is a variation on Kleene Algebr...
research
∙
04/17/2019
Scalable Verification of Probabilistic Networks
This paper presents McNetKAT, a scalable tool for verifying probabilisti...
research
∙
02/28/2019
Semantics of higher-order probabilistic programs with conditioning
We present a denotational semantics for higher-order probabilistic progr...
research
∙
07/08/2018
Coalgebraic Tools for Randomness-Conserving Protocols
We propose a coalgebraic model for constructing and reasoning about stat...
research
∙
07/10/2017