8:00am
Registration & Welcome
Collect your badge and be seated by 8:50AM for a “running start".
9:00am
State of the Tagged Union Address
Find out what's cooking in Zig land.
From a technology and toolchain perspective, review some of the recent major advancements which are available today, check out some tech demos of what we're very close to finishing, and talk about the roadmap of things to come over the next several years.
Let's also look at the ZSF organization, celebrate accomplishments, acknowledge shortcomings, and talk about the next 10 years.
Finally, I will bedazzle you with an incredible mental gymnastics performance as I make even more, ALL NEW elaborate excuses for why we still haven't tagged 1.0 yet.
10:00am
Logic for Programmers
Logic isn't just for detectives and mathematicians! A small bit of logic helps us programmers in all sorts of ways, from testing better to actually making sense of left outer joins. This talk will teach the basics of sets, predicates, and quantifiers, focused around the practical example of determining if a change to a function (or class or API or sandwich press) will break existing users and whether or not you need to care.
11:00am
Morning Break
11:30am
Breaking the Server: Systems for Disaggregated Datacenters
Datacenters are breaking the server apart. Resource disaggregation pools compute, memory, and storage as independent, network-attached resources that can scale on their own, offering elasticity and improved utilization. But breaking the server also breaks traditional assumptions about fault tolerance, latency, and coherence.
In this talk, I will present the challenges we are tackling across the disaggregation spectrum, from disaggregated storage to RDMA-based memory to emerging CXL fabrics, in which multiple hosts can share the same physical memory. I will then present two systems we have built: SplitFT, which enables low-latency fault tolerance for applications built atop disaggregated storage, and MEGALON, which enables efficient sharing over partly coherent CXL memory.
12:30pm
Lunch Break
2:30pm
Afternoon Break
3:00pm
The Prompt is the Platform
Coding agents challenge long-standing software engineering practices. Instead of using a general-purpose library, framework, or platform, agents suggest they can build a bespoke one on demand. Attention shifts from implementation to specification, verification, and optimization. In this talk, we will glimpse into a future of software engineering with agents. We will ask ourselves what remains when agents start writing and humans stop reading code.
4:00pm
Making the Impossible Possible (Again): Ten Years of Flexible Paxos
Distributed consensus lies at the foundation of reliable distributed systems. For decades, Paxos has been the dominant solution. Its quorum requirements were treated as fundamental, shaping both theory and practice across distributed systems. In 2016, we showed that a core assumption behind Paxos was unnecessarily strict. By relaxing its quorum requirements, we introduced Flexible Paxos: a new way of thinking about consensus that opened up a broader design space for fault-tolerant systems.
This talk revisits the history of consensus, the reasoning that led to Flexible Paxos, and the impact of that result a decade later. Along the way, we will explore how questioning long-standing assumptions can reveal new possibilities in even the most established areas of computer science.
5:00pm
Doors Close
5:00pm
ICA Museum Open Hours*
Spend time and Browse the ICA's exhibitions, closed to the public.
6:30pm
Opening Night Event*
Follow the Harbor Walk to catch a sunset boat cruise with drinks and food. Boarding 6:15 PM and returning 9:00 PM.
* Standard Ticket Holders, Speakers & TigerBeetle Team only.
8:00am
Doors Open
Come early to mingle and take your seat by 8:50 AM.
9:00am
The Design and Evolution of io_uring
For years, asynchronous I/O on Linux was a promise the kernel couldn't keep - the native AIO interface only worked under narrow conditions and blocked everywhere else.
io_uring is the story of fixing that: a shared ring-buffer model that lets applications and the kernel cooperate instead of interrupting each other. It's also the great unifier, collapsing fifty years of regular files and sockets doing I/O two different ways into one. The application submits an IO operation, and gets informed upon its completion. That's it. This is the origin story of io_uring - how it came to be, and what it's able to do today.
10:00am
12:00pm
Lunch Break
1:00pm
Lightning Talks
Hosted by Natalie Vais
2:45pm
Afternoon Break
3:15pm
The Future Deserves Good Architecture
Systems design experience and architectural wisdom are fading fast. Coding has become commoditized, but not even a world-class engineer can take a bad architecture and turn it into a reliable, secure, maintainable system. As the art of engineering gives way to autopilot the responsibility falls to platform engineers to provide primitives that allow agents and engineers to succeed in a domain where excellence is hard to measure and mistakes take a long time to emerge. Platforms that codify type safety, transactionality, composability, end-to-end consistency and simplicity will allow our industry to continue innovating at an accelerating pace without sacrificing quality.
5:30pm
Doors Close