In a new article in Communications of the ACM, Ankush and I write about the evolution of systems correctness and testing practices at AWS. We cover classic and formal approaches, and new ones like deterministic simulation.
cacm.acm.org/practice/sys...
In a new article in Communications of the ACM, Ankush and I write about the evolution of systems correctness and testing practices at AWS. We cover classic and formal approaches, and new ones like deterministic simulation.
cacm.acm.org/practice/sys...
www.streamingdata.tech/p/current-lo...
www.streamingdata.tech/p/current-lo...
softwaremill.com/how-we-appro...
softwaremill.com/how-we-appro...
newsletter.pragmaticengineer.com/p/bluesky
newsletter.pragmaticengineer.com/p/bluesky