The Verification of a Distributed System • Caitie McCaffrey • YOW! 2016

This presentation was recorded at YOW! 2016. #GOTOcon #YOW https://yowcon.com Caitie McCaffrey - Distributed Systems Diva at Twitter @CaitieMcCaffrey FULL TALK TITLE The Verification of a Distributed System – A Practitioner's Guide to Increasing Confidence in System Correctness RESOURCES https://x.com/caitie https://www.linkedin.com/in/caitie-mccaffrey-7831379b https://github.com/CaitieM20 https://www.caitiem.com ABSTRACT Distributed Systems are difficult to build and test for two main reasons: partial failure & asynchrony. These two realities of distributed systems must be addressed to create a correct system, and often times the resulting systems have a high degree of [...] RECOMMENDED BOOKS Sourav Ghosh • Building Low Latency Applications with C++ • https://amzn.to/3szwUhV Steve Scargall • Programming Persistent Memory • https://amzn.to/3Pk79ex https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.facebook.com/GOTOConferences #DistributedSystems #Verification #CaitieMcCaffrey #YOWcon Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1