Lasp: A Programming Language for Large-Scale Available Systems

Lasp provides a principled approach for dealing with eventually consistent data, data that is replicated and periodically synchronised with convergence rules, for providing an efficient programming environment for building large-scale applications, alleviating the need for users to reason about the uncertainties in distributed programming: an unreliable network where messages between clients may be dropped or re-ordered.

Further reading:


SyncFree Software Repository  

SyncFree Technology
  • Bounded Counters: maintaining numeric invariants with high availability
  • Commander: Bug-Finding for Programs Running on Weakly Consistent Platforms
  • Verifico: CRDT-App Verification Framework for Isabelle


 This project is funded by the European Union, 7th Research Framework Programme, ICT call 10, grant agreement n°609551. 

Contact (Project Coordinator)

MARC dot SHAPIRO atsign ACM dot ORG