https://www.infoq.com/interviews/alvaro-distributed-programming/
Peter Alvaro on Distributed Programming, CRDTs, LDFI - InfoQ
Peter Alvaro discusses some of the reasons that distributed programming is hard, Lineage-driven Fault Injection, static analysis to check deterministic...
peteralvarodistributedprogrammingcrdts