We start our discussion with Amazon's paper on property-based testing for S3 and then expand on the previous uses on property-based testing for key-value stores.
Creators and Guests
Christopher is a Ph.D. candidate in Software Engineering at Carnegie Mellon University. Before starting his Ph.D., he worked on a variety of distributed systems at Basho Technologies, Mesosphere, and Machine Zone.
David is a software engineer at Microsoft in the Azure Functions group. He is mostly focused on the multi-language experience for Durable Functions, where he gets to put on his PL hat to annoy his co-workers with requests to add support for Haskell. Before joining Microsoft, he was an MS student at UC San Diego, where he did research on Programming Languages and Databases.