1 citations · 1 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
Stream Types
Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh +4
We propose a rich foundational theory of typed data streams and stream transformers, motivated by two high-level goals: (1) The type of a stream should be able to express complex s…
cs.PL2021
Stream Processing With Dependency-Guided Synchronization (Extended Version)
Konstantinos Kallas, Filip Niksic, Caleb Stanford +1
Real-time data processing applications with low latency requirements have led to the increasing popularity of stream processing systems. While such systems offer convenient APIs th…