Ramnivas Laddad

Flo: a Semantic Foundation for Progressive Stream Processing Streaming systems are present throughout modern applications, processing continuous data in real-time. Existing streaming languages have a variety of semantic models and guarantees that are often inco...

Thrilled to share that our paper “Flo: A Semantic Foundation for Progressive Stream Processing” (with @mpmilano.bsky.social, Alvin Cheung, and @joehellerstein.bsky.social) will appear at POPL 2025! Check out the preprint at arxiv.org/abs/2411.08274, and read on for more!

Just presented at #DevInnovationSummit about how @rustlang brings in new concepts and how it can work with @typescript and @java.