Sign in

Ramnivas Laddad

@ramnivas.com
238 followers 50 following 1 posts

Building exograph.dev in #rustlang. Author, AspectJ in Action. Former cloud computing dude at VMware, #cloudfoundry and #spring committer.

PostsRepliesMedia
Reposted by Ramnivas Laddad
Shadaj Laddad @shadaj.me · 03/12/2024
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!
arxiv.org
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...
14412
Ramnivas Laddad @ramnivas.com · 08/11/2024
Just presented at #DevInnovationSummit about how @rustlang brings in new concepts and how it can work with @typescript and @java.
050