Shadaj Laddad
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com
More at https://shadaj.me!
- Reposted by Shadaj LaddadFinally got around to reading this! Super enjoyable, and the concepts remind me a lot of @shadaj.me’s work on hydro.run and distributed stream types. Good abstractions for reasoning about distributed systems as a single program seem…pretty awesome?
- I am graduating! My dissertation talk is May 16th and open to the public, will be a fun hour of recapping my work on Hydro and reflections on the experience! lu.ma/9usll5b1 (in-person priority to friends / family / mutuals)
- Join us for the next SF Systems Meetup, generously hosted by OpenAI! We have an exciting pair of talks on fuzz testing and WebAssembly, you won't want to miss them: lu.ma/ltsl9g50
- New Blog Post! www.shadaj.me/writing/dist... I argue that we’re *still* lacking a programming model that’s native to distributed systems, and outline what’s missing.
- Reposted by Shadaj LaddadSF Systems Meetup signup is live. Hope to see you there! lu.ma/vqjf30k3
- The SF Systems Meetup is back! On 2/27, we're excited to have headline talks from the creator of FizzBee and a research collaborator with Signal. This is going to be a super fun night diving deep into making distributed protocols work, hope you'll join us! lu.ma/vqjf30k3
- Reposted by Shadaj LaddadExcited to share our ICDT 2025 paper on a theoretical framework to connect CRDTs and the CALM Theorem! We formalize the intuitions given in the Keep CALM and CRDT On work about the gap between CRDT guarantees and monotonic queries. arxiv.org/pdf/2502.00222
- Reposted by Shadaj LaddadHello! We are organizing our first South Bay Systems Coffee Chat next week. Register here: lu.ma/2f8y3fsj (w/ @alexmillerdb.bsky.social @yingjunwu.bsky.social) We're planning some talks in the upcoming weeks. Please follow the official account @southbaysystems.xyz 🦋 Stay tuned 👀
- Reposted by Shadaj Laddad[Not loaded yet]
- Reposted by Shadaj LaddadBetter late than never 😂 Happy to share a recap of my SF Systems talk from last month. I've put together a summary of the session along with some great Q&A moments: www.dbos.dev/blog/sf-syst... Thanks to the organizers and everyone who showed up—it was an amazing experience! #dataBS #serverless
- 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!
- Streaming systems have broad “vibes” about responding to events in a timely manner and tolerating scheduling delays gracefully. But these “vibes” have remained informal and each system has brought its own (incompatible) set of guarantees.
- With Flo, we aim to extract the *essence* of streaming systems into formal properties: streaming progress, which formalizes keeping outputs up-to-date, and eager execution, which guarantees determinism in the face of arbitrary scheduling.
-
View full threadFlo itself is a theory paper, but we are actively using it as the foundation for our high-level Hydro APIs (where we use Rust types to enforce Flo properties): hydro.run/docs/hydrofl...
