James and I wrote a blog post about the team’s SOSP paper, and where we are headed with automated reasoning in S3. We’re using math to help our engineers move faster at scale, and it’s really cool to see it taking hold. aws.amazon.com/blogs/storage/…

Congrats to the team on winning a Best Paper award at #SOSP2021 -- more importantly, this work benefits every AWS customer and their workloads every day James Andrew Warfield @[email protected]

Reading the Amazon S3 verification paper from SOSP. It makes so much sense! Rather than write separate specs, just leverage the dummy implementations we use already for tests which are guaranteed to not diverge... This is terrific work Andrew Warfield and all the other authors!

Very cool to see TLA+, P, and Dafny code on the keynote stage at AWS re:Invent.

I linked to this paper in Last Week in AWS; it's a dense but excellent read.

Tens of thousands of S3 customers have buckets that are spread over a million drives or more!

I got to give a talk at FAST about how hard drives work, how millions of hard drives work, how an organization with millions of hard drives works, and then a little about how i work in an organization with millions of hard drives. youtube.com/watch?v=sc3J4M…

Here's a neat thing that we released today. aws.amazon.com/blogs/storage/… github.com/awslabs/mountp…

Werner asked me to put together a written version of some of the material from the FAST talk that I did earlier this year. The article is up this morning on #allthingsdistributed.

This morning I'm coming to terms that it's been 20 years since we wrote the Xen paper. That sure went by fast!

I am so excited at our launch of S3 Express One Zone. This product has been an incredible amount of really innovative work from an incredible team and it's wonderful to finally be able to share it with customers! aws.amazon.com/blogs/aws/new-…

Almost time to talk about storage!

Deets on the latest S3news for 10x latency reduction ⚡#reInvent recaps. Andy Warfield discusses S3 Express One Zone, Amazon’s solution for more responsive data interactions. 📰 More: siliconangle.com/2023/11/30/ama… Andrew Warfield @Furrier #theCUBE #Supercloud5

Last week was re:Invent, this week I'm helping my dad build barn doors. #storage #builders

Hey Look Bindings, I absolutely loved my pivot 360s. Right until the metal snapped and turned them into a sharp edge attached to my ski as I fell down the run.

Really fun post from Werner and team about building with rust, media summarization, and the importance (and enjoyment!) of tinkering in systems. Great read. allthingsdistributed.com/2024/06/introd…