research
∙
11/28/2022
P4Testgen: An Extensible Test Oracle For P4
We present P4Testgen, a test oracle for the P4_16 language. P4Testgen su...
share
research
∙
06/03/2022
Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks
This paper presents a high-performance consensus protocol, Nezha, design...
research
∙
12/01/2021
Learned Autoscaling for Cloud Microservices with Multi-Armed Bandits
As cloud applications shift from monolithic architectures to loosely cou...
research
∙
06/28/2021
Revelio: ML-Generated Debugging Queries for Distributed Systems
A major difficulty in debugging distributed systems lies in manually det...
research
∙
02/26/2021
Synthesizing Safe and Efficient Kernel Extensions for Packet Processing
Extended Berkeley Packet Filter (BPF) has emerged as a powerful method t...
research
∙
02/09/2021
The case for model-driven interpretability of delay-based congestion control protocols
Analyzing and interpreting the exact behavior of new delay-based congest...
research
∙
01/29/2021
Isolation mechanisms for high-speed packet-processing pipelines
Data-plane programmability is now mainstream, both in the form of progra...
research
∙
06/01/2020
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
Programmable packet-processing devices such as programmable switches and...
research
∙
05/05/2020