A daily digest of posts from FPL members and collaborators.

FPL Members

KC Sivaramakrishnan

From Convergence to Confidence: Push-button verification for RDTs

What does it mean for a replicated data type to be correct? For most of the literature, my own prior work included, the answer has been convergence: two replicas that have applied the same operations end up in the same state. I argued in my PaPoC 2026 keynote last week that for…

Collaborators & Friends

Anil Madhavapeddy

.plan-26-18: From tropical forest protection to oi swallowing its oxcaml tail

REDD+ over-crediting in Nature Communications Our paper on learning lessons from over-crediting in REDD+ projects came out this week in Nature Communications, led by Thomas Swinfield. The reception to the paper has generally been encouragingly positive, especially with the…

Helping tropical forest protection keep up with a fast-changing world

Our paper on learning lessons from past REDD+ over-crediting came out in Nature Communications today, led by Thomas Swinfield, and is the culmination of years of work in 4C. It’s a comprehensive ex-post synthesis of first-generation REDD+ projects worldwide, and I wanted to…