Brewing Microservices

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.

Show Notes

QuickCheck: a lightweight tool for random testing of Haskell programs
Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem
Write ahead log
Fuzzing: a survey
SAGE: whitebox fuzzing for security testing
Intelligent REST API data fuzzing
A hybrid analysis to detect Java serialisation vulnerabilities
Jsongen: a quickcheck based library for testing JSON web services
Property-Based Testing of JSON Based Web Services
Turning web services descriptions into quickcheck models for automatic testing
Hypothesis
Erlang QuickCheck
Software Testing with QuickCheck
John Hughes - Don't Write Tests
John Hughes - QuickCheck Evolution
John Hughes: Testing with QuickCheck
John Hughes - Testing the Hard Stuff and Staying Sane
John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19
Testing Eventual Consistency in Riak - YouTube
PARTISAN: Scaling the Distributed Actor Runtime
Dealing with a corrupt SSTable in Cassandra
MODELING EVENTUAL CONSISTENCY DATABASES WITH QUICKCHECK
Riak DT
Applied Monotonicity: A Brief History of CRDTs in Riak
Using temporal relations to specify and test an instant messaging server
Effective Concurrency Testing for Distributed Systems
Jepsen
Clojure test.check
PropER
PULSE tutorial
Finding race conditions in Erlang with QuickCheck and PULSE
CORFU: A Shared Log Design for Flash Clusters
CORFU: A distributed shared log








Creators & 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.

What is Brewing Microservices?

A podcast discussing everything cloud computing, serverless, microservices, and distributed systems that, each episode, starts with a discussion of a single academic paper and expands out to related academic research and industrial products and systems.