Pinned
I am honored to have gotten the opportunity to write an ACM Queue article with @MarcJBrooker . In this article, We survey different approaches used at AWS for reasoning about systems correctness. Please check out the article here: lnkd.in/dn_CqkW2.
In this month's ACM Queue, @ankushpd and I write about some of the methods and tools we apply to systems correctness at AWS: from testing, to simulation, to fault injection, to formal proofs.
