New insights into distributed and concurrent programming

Fri, Jun 20, 2025, 12:54 PM · 10:20

Designing, verifying, correctly implementing and later improving core distributed protocols like consensus, which are critical for safety and reliability of decentralized systems, is notoriously difficult and error-prone. One of the biggest challenges here is dealing with the inherently concurrent nature of decentralized systems. But it’s too important, and we can’t really afford to get it wrong, so we need to take it seriously and do a much better job here. But how?