Property-Based Testing
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
Host
Christopher Meiklejohn
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.
Host
David Justo
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.
Guest
Scott L. Fritchie
Jack-of-many bit-centric trades, many of them Erlang- or Elixir-flavored with a splash of Pony.
