Shadaj Laddad
@shadaj.me
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!
More at https://shadaj.me!
Reposted by Shadaj Laddad
Finally 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?
⚛️📝 New on Overreacted: What Does "use client" Do?
What Does "use client" Do? — overreacted
Two worlds, two doors.
overreacted.io
May 30, 2025 at 5:43 PM
Finally 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)
Shadaj's Dissertation Talk! · Luma
I'm graduating! You are invited to join as I recap the trials and tribulations of my PhD journey and celebrate all the people who helped me get to the finish…
lu.ma
May 5, 2025 at 6:08 PM
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
SF Systems May Meetup: Intelligent Fuzzers and WASM · Luma
The SF Systems Meetup is back for our second event of the year! There's no strict theme for this event, but we have two exciting headlining talks:
Brian…
lu.ma
April 21, 2025 at 7:16 PM
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.
Distributed Systems Programming Has Stalled
Over the last decade, we’ve seen great advancements in distributed systems, but the way we program them has seen few fundamental improvements. While we can sometimes abstract away distribution (Spark,...
www.shadaj.me
February 27, 2025 at 6:30 PM
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.
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
SF Systems Meetup: Correctness and Security for Distributed Systems · Luma
The SF Systems Meetup is back for the new year! This meetup, our theme is correctness and security. It's easy to write a distributed protocol, but very hard to…
lu.ma
February 13, 2025 at 8:47 PM
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 Laddad
Excited 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
February 5, 2025 at 5:54 PM
Excited 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 Laddad
Hello! 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 👀
(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 👀
South Bay Systems Coffee Chat · Luma
If working on or are interested in anything in the space of software internals (compilers/databases/OSs/etc.), come grab a cup of coffee and hang out! If…
lu.ma
January 22, 2025 at 5:08 PM
Hello! 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 👀
(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
Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!
January 20, 2025 at 8:22 PM
Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!
Reposted by Shadaj Laddad
Better 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
Thanks to the organizers and everyone who showed up—it was an amazing experience!
#dataBS #serverless
SF Systems Meetup 2024 - Transactions and Serverless are Made for Each Other | DBOS
www.dbos.dev
December 18, 2024 at 9:31 PM
Better 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
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!
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...
arxiv.org
December 3, 2024 at 8:26 PM
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!
Reposted by Shadaj Laddad
My talk yesterday at #SFSystemsMeetup was based on this paper. I'll share the slides soon. Thanks a lot @conorpower23.bsky.social @shadaj.me @cwensel.bsky.social and Neil for inviting me! Also thanks Jeff @ Chroma for hosting the event 💙
November 21, 2024 at 4:57 PM
My talk yesterday at #SFSystemsMeetup was based on this paper. I'll share the slides soon. Thanks a lot @conorpower23.bsky.social @shadaj.me @cwensel.bsky.social and Neil for inviting me! Also thanks Jeff @ Chroma for hosting the event 💙
Reposted by Shadaj Laddad
I'm presenting at the upcoming SF Systems Meetup! I'll dive into a new serverless architecture for stateful applications, managing function/workflow execution state using transactions. It's the research behind @dbos.dev
Register here: lu.ma/lhuuiur5 and explore more events at www.sfsystemsclub.com
Register here: lu.ma/lhuuiur5 and explore more events at www.sfsystemsclub.com
SF Systems Meetup: Data Center Networks and Serverless Transactions · Luma
The SF Systems Meetup is back! This month, we're excited to have a double header, featuring talks from Alex Krentsel (Google Systems Research) on the latest in…
lu.ma
November 13, 2024 at 12:44 AM
I'm presenting at the upcoming SF Systems Meetup! I'll dive into a new serverless architecture for stateful applications, managing function/workflow execution state using transactions. It's the research behind @dbos.dev
Register here: lu.ma/lhuuiur5 and explore more events at www.sfsystemsclub.com
Register here: lu.ma/lhuuiur5 and explore more events at www.sfsystemsclub.com
Reposted by Shadaj Laddad
Everybody need @shadaj.bsky.social! I saw him first programming Scala at a meetup with his dad when he was 7. Since then the whole family presented at scale.bythebay.io and he does some of the coolest stuff in software. Follow the future!:)
Home | Scale By the Bay
The independent thoughtful software and data engineering conference in San Francisco.
scale.bythebay.io
June 13, 2023 at 10:48 PM
Everybody need @shadaj.bsky.social! I saw him first programming Scala at a meetup with his dad when he was 7. Since then the whole family presented at scale.bythebay.io and he does some of the coolest stuff in software. Follow the future!:)