Designing robust database consensus protocol using formal methods (TLA+)
Exploration of designing robust database consensus protocols using formal methods (TLA+).
Event
Activities tracked
4
** Important **: Due to room capacity and building security, you must register on the event website for admission.
Description: Join PingCAP, Antithesis, MongoDB and industry leaders for an evening of insights and networking focused on building reliable, scalable, and high-performance data-intensive applications. This meetup will bring together developers, infrastructure engineers, SREs, and architects to explore cutting-edge tools and best practices for managing complex data workloads.
Hear from PingCAP about TiDB, the distributed SQL database designed for modern applications, and learn how EasyPost leverages TiDB to power their operations. MongoDB will share their journey of using formal methods (TLA+) to validate critical database consensus protocols, while Antithesis will explore strategies for detecting hidden failure modes that traditional reliability practices might miss.
Who Should Attend: Developers, Infrastructure Engineers, SREs, Architects, and anyone passionate about building reliable, data-driven applications.
Speakers/Topics:
Speakers and Topics: Stay tuned as we are updating speakers and schedules. If you have a keen interest in speaking to our community, we invite you to submit topics for consideration: Submit Topics
Sponsors: We are actively seeking sponsors to support our community. Whether it is by offering venue spaces, providing food/drink, or cash sponsor. Sponsors will not only speak at the meetups, receive prominent recognition, but also gain exposure to our extensive membership base of 20,000+ AI developers in New York or 450K+ worldwide.
Local and Global AI Community on Discord Join us on discord for local and global AI tech community:
Sessions & talks
Showing 1–4 of 4 · Newest first
Exploration of designing robust database consensus protocols using formal methods (TLA+).
Discussion on selecting and qualifying TiDB for a MySQL sharding-free future.
Discussion on TiDB and distributed databases.
Strategies for detecting hidden failure modes in complex systems.