Antithesis on Mythryl: “Many elegant theoretical proofs exist for distributed systems, but…”

Many elegant theoretical proofs exist for distributed systems, but local hardware and production realities rarely play by the rules. UIUC professors Ram Alagappan and Aishwarya Ganesan join us on this episode of the Bug Bash podcast to talk about bridging that gap.

youtu.beBeyond Academic Proof: Scaling Provable Correctness in ProductionMany elegant theoretical proofs exist for distributed systems, but local hardware and production realities rarely play by the rules. Today, we're joined by UIUC professors Ram Alagappan and…

1/10/26, 8:34 pm0 reposts1 like

Post