A look at Stateful Property Based Testing in Rust

Your Distributed System is Just a HashMap: Stateful Property Based Testing as a tool for thinking, designing, and testing distributed system

Property-based testing is widely known as a powerful randomised testing technique, but it can also serve as a practical tool for designing and building distributed systems.

In this talk, Russell Brown will present a model-based approach to development using stateful property-based testing, and show how it can be used to design and implement complex systems with confidence. This approach has been especially effective in his work developing and shipping CRDTs, where correctness is subtle and hard to achieve through traditional testing alone.

The talk will include a brief introduction to CRDTs to provide context for the worked example.

---

Join us for an evening of learning about clean technology practices in web development using Rust. This event is not just for developers interested in leveraging the power of Rust programming language to build sustainable and efficient web applications. It is for anyone in the tech space who has an interest for learning more about and how technology decisions are made.

Whether you are a seasoned Rust developer looking to explore clean technology concepts or someone new to the world of tech interested in just meeting people who love tech, this meetup is the perfect opportunity to connect.

Don't miss out on this chance to be part of the Rust Leeds community and contribute to a greener future in technology!

Agenda (approx)
18:00 - 🍕 Arrivals, networking, pizza/drinks
18:30 - 👋 Event starts, introductions
18:35 - 🗨️ Talk starts
20:00 - 🍹Event finishes, head to a nearby pub (optional)