FRIDA

FRIDA 2027 with POPL 2027

Concurrent and distributed algorithms are central to shared-memory multiprocessing, Internet services, cloud platforms, blockchains, control systems, etc. However, verifying their correctness properties, from fault tolerance, linearizability, and liveness to more general hyperproperties, requires intricate arguments, and hand-written proofs often contain subtle errors. These challenges are growing as systems incr ...