1 citations · 1 across the 3 of their papers we have counts for
4 papers
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…
Incremental Dead State Detection in Logarithmic Time
Caleb Stanford, Margus Veanes
Identifying live and dead states in an abstract transition system is a recurring problem in formal verification; for example, it arises in our recent work on efficiently deciding r…
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…
Streamable Regular Transductions
Rajeev Alur, Dana Fisman, Konstantinos Mamouras +2
Motivated by real-time monitoring and data processing applications, we develop a formal theory of quantitative queries for streaming data that can be evaluated efficiently. We cons…