21 citations · 49 across the 11 of their papers we have counts for
13 papers
Designing a Producer-driven Stream Protocol by Formal Refinement
Erick Lavoie
The coroutine has broadly diffused in the practice of concurrent programming in the form of generators and asynchronous functions as well as processes communicating through pipes.…
The Essence of Git: Concepts for P2P Replication
Erick Lavoie
Git is most commonly known as a decentralized version control system. Underneath the surface, the design of Git exhibits an elegant object model and incremental replication protoco…
Memory-Exhaustion Attack on the Blocklace Byzantine-Repelling Conflict-Free Replicated Data Type
Erick Lavoie
The blocklace is a directed acyclic graph encoding the causal relationship between authenticated updates produced by participating nodes. Compared to previous approaches, it adds r…
2P-BFT-Log: 2-Phase Single-Author Append-Only Log for Adversarial Environments
Erick Lavoie
Replicated append-only logs sequentially order messages from the same author such that their ordering can be eventually recovered even with out-of-order and unreliable disseminatio…
GOC-Ledger: State-based Conflict-Free Replicated Ledger from Grow-Only Counters
Erick Lavoie
Conventional blockchains use consensus algorithms that totally order updates across all accounts, which is stronger than necessary to implement a replicated ledger. This makes upda…
State-Based P-Set Conflict-Free Replicated Data Type
Erick Lavoie
***** This design is a duplicate of a Causal Length Set (see notes in the comments). We leave nonetheless the original paper here because the proofs are referred to in another subm…
Decentralized Learning Made Practical with Client Sampling
Martijn de Vos, Akash Dhasade, Anne-Marie Kermarrec +3
Decentralized learning (DL) leverages edge devices for collaborative model training while avoiding coordination by a central server. Due to privacy concerns, DL has become an attra…
Refined Convergence and Topology Learning for Decentralized SGD with Heterogeneous Data
Batiste Le Bars, Aurélien Bellet, Marc Tommasi +2
One of the key challenges in decentralized and federated learning is to design algorithms that efficiently deal with highly heterogeneous data distributions across agents. In this…
D-Cliques: Compensating for Data Heterogeneity with Topology in Decentralized Federated Learning
Aurélien Bellet, Anne-Marie Kermarrec, Erick Lavoie
The convergence speed of machine learning models trained with Federated Learning is significantly affected by heterogeneous data partitions, even more so in a fully decentralized s…
Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC
Erick Lavoie, Laurie Hendren, Fréderic Desprez +1
WebRTC enables browsers to exchange data directly but the number of possible concurrent connections to a single source is limited. We overcome the limitation by organizing particip…
Personal Volunteer Computing
Erick Lavoie, Laurie Hendren
We propose personal volunteer computing, a novel paradigm to encourage technical solutions that leverage personal devices, such as smartphones and laptops, for personal application…
Pando: Personal Volunteer Computing in Browsers
Erick Lavoie, Laurie Hendren, Frederic Desprez +1
The large penetration and continued growth in ownership of personal electronic devices represents a freely available and largely untapped source of computing power. To leverage tho…
A Formalization for Specifying and Implementing Correct Pull-Stream Modules
Erick Lavoie, Laurie Hendren
Pull-stream is a JavaScript demand-driven functional design pattern based on callback functions that enables the creation and easy composition of independent modules that are used…