research
∙
07/18/2023
Stream Types
We propose a rich foundational theory of typed data streams and stream t...
share
research
∙
01/12/2023
Incremental Dead State Detection in Logarithmic Time
Identifying live and dead states in an abstract transition system is a r...
research
∙
07/26/2022
FP4: Line-rate Greybox Fuzz Testing for P4 Switches
Compared to fixed-function switches, the flexibility of programmable swi...
research
∙
04/09/2021
Stream Processing With Dependency-Guided Synchronization
Real-time data processing applications with low latency requirements hav...
research
∙
07/10/2018