KC Sivaramakrishnan delivered an invited keynote — “From Convergence to Confidence: Push-Button Verification for Replicated Data Types” — at PaPoC 2026 (13th Workshop on Principles and Practice of Consistency for Distributed Data), co-located with EuroSys 2026 on April 27, 2026. [slides · explainer]

FP Launchpad members also presented the paper “Sal: Multi-modal Verification of Replicated Data Types” (Pranav Ramesh, Vimala Soundarapandian, KC Sivaramakrishnan) at the same workshop. [paper]