research
∙
08/23/2023
Saggitarius: A DSL for Specifying Grammatical Domains
Common data types like dates, addresses, phone numbers and tables can ha...
share
research
∙
08/10/2023
Algorithms for 3D Hilbert Encoding and Decoding
This paper presents algorithms and pseudocode for encoding and decoding ...
research
∙
07/20/2023
Massively parallel quantum chemistry: PFAS on over 1 million cloud vCPUs
Accurate solutions to the electronic Schrödinger equation can provide va...
research
∙
07/15/2023
The Impact of Space-Filling Curves on Data Movement in Parallel Systems
Modern computer systems are characterized by deep memory hierarchies, co...
research
∙
12/08/2022
Technical Report: Match-reference regular expressions and lenses
A lens is a single program that specifies two data transformations at on...
research
∙
09/26/2022
Test Coverage for Network Configurations
We develop NetCov, the first tool to reveal which network configuration ...
research
∙
06/05/2022
ACORN: Network Control Plane Abstraction using Route Nondeterminism
Networks are hard to configure correctly, and misconfigurations occur fr...
research
∙
04/21/2022
Modular Control Plane Verification via Temporal Invariants
Satisfiability Modulo Theory (SMT)-based tools for network control plane...
research
∙
02/12/2022
Kirigami, the Verifiable Art of Network Cutting
We introduce a modular verification approach to network control plane ve...
research
∙
07/05/2021
Lucid: A Language for Control in the Data Plane
Programmable switch hardware makes it possible to move fine-grained cont...
research
∙
06/22/2020
Visualising Evolution History in Multi- and Many-Objective Optimisation
Evolutionary algorithms are widely used to solve optimisation problems. ...
research
∙
03/26/2020
Data-Driven Inference of Representation Invariants
A representation invariant is a property that holds of all values of abs...
research
∙
02/03/2019
Contra: A Programmable System for Performance-aware Routing
We present Contra, a system for performance-aware routing that can adapt...
research
∙
10/26/2018
Synthesizing Symmetric Lenses
Lenses are programs that can be run both "front to back" and "back to fr...
research
∙
06/22/2018
Control Plane Compression
We develop an algorithm capable of compressing large networks into a sma...
research
∙
10/09/2017