Seminar Details
2026-01-22 (13:00) : Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp
At Shannon, Maxwell a.105
Organized by Computer Science and Engineering
Speaker :
Peter VAN ROY (UCL)
Abstract :
Consensus is a critical building block for building fault-tolerant distributed systems. It is widely believed that without consensus, large distributed applications on the Internet could not exist. But recent advances show that consistent replication can be achieved without consensus by using convergent data structures such as CRDTs (conflict-free replicated data types). This is called coordination-free programming and it has become a credible alternative to consensus. The Lasp system is the first to compose CRDTs. It was published in 2015 in the ACM Symposium on Principles and Practice of Declarative Programming (PPDP) and the paper won the 10-year most influential paper award at PPDP 2025. Lasp’s coordination-free model has inspired a decade of progress in academia and industry. As the industry shifts toward multi-region deployments, Lasp’s core insight — that coordination can be the exception, not the rule — continues to shape how we build reliable, scalable systems today.