Challenges in Designing at Scale: Formal Methods in Building Robust Distributed Systems – PerspectivesDisclaimer: The opinions expressed here are my own and do not necessarily represent those of current or past employers. Recent CommentsRaffaele on David Patterson Retires After 40 YearsJames Hamilton on David Patterson Retires After 40 YearsJames Hamilton on Pat SelingerMariana Carvalho on Pat SelingerRaffaele Santopaolo on David Patterson Retires After 40 YearsJames Hamilton on Seagate HAMRTom Da
