21 citations · 49 across the 11 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.PL2026
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.…
cs.DC2026
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…
cs.DC2026
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…