Tale Of 2 Cities

In January, I took a i yr leave of absence of absence from the University at Buffalo in addition to joined Amazon's Automated…

Soundless Information Corruptions At Scale

the Google fail-silent Corruption Execution Errors (CEEs) paper equally the most related work. Both papers utter over the same p…

There Is Enough Of Room At The Bottom

This is a pun on the maxim "there is e'er room at the top". This is also the championship of a PigPaxos is able to …

Using Lightweight Formal Methods To Validate A Key-Value Storage Node Inward Amazon S3 (Sosp21)

This paper comes from my colleagues at AWS S3 Automated Reasoning Group, detailing their sense applying lightweight formal metho…

Jon Howell Ama At Sosp21 (Day 2)

There were several AMAs at SOSP21, where the attendees tin enquire questions. I actually similar Jon Howell 's AMA session. …