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
![Christopher Meiklejohn](https://img.transistor.fm/Bc-3iSe1g4ORVPLwctCDVQEiF-OyW6eE7Ibw7LG-RUU/rs:fill:400:400:1/q:60/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9wZXJz/b24vYzliMDQ3NTct/ZjAxNC00OGMxLTlm/NjUtNjA5MmEwNzNl/MzRlLzE2NjU2OTMy/NjItaW1hZ2UuanBn.webp)
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.
![David Justo](https://img.transistor.fm/cwW65k9mBaaKQz6-slK57uV8dvHvpEECoyc9xYZK4mI/rs:fill:400:400:1/q:60/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9wZXJz/b24vMmFkZmM0MDUt/NzVhMC00ZTQzLThh/YmUtMTkzYWE3MjM3/M2MxLzE2NjU3MTc3/NjAtaW1hZ2UuanBn.webp)
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.
![Scott L. Fritchie](https://img.transistor.fm/tPW_NlUGX1Y5-Psx6oajOCRovLURUJJAmltdMQKyM-8/rs:fill:400:400:1/q:60/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9wZXJz/b24vNGM4MWUxZTUt/NDViZi00ZDg5LTk3/ODktM2E4MjBjODE2/MzZhLzE2NjYzMzcw/NTEtaW1hZ2UuanBn.webp)
Guest
Scott L. Fritchie
Jack-of-many bit-centric trades, many of them Erlang- or Elixir-flavored with a splash of Pony.
![Property-Based Testing](https://img.transistor.fm/FTegZzFTMt_fTRm-92_0znM3PY9qx_hXpCLxIxwum9c/rs:fill:800:800:1/q:60/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9zaG93/LzM0OTU4LzE2NjU2/MjkxMTAtYXJ0d29y/ay5qcGc.webp)