Lang Martin on Molly (Lineage-driven Fault Injection)

Description: This paper describes MOLLY, a system for automatically exploring the
state space of fault toleration bugs and deriving partial formal
models from production systems.
Description: We will be reimagining a Chattanooga tradition to closeout the year. Anyone is free to present their solutions. If you just want to watch the spectacle, it'll be a night to remember.

Bio: Lang is an ostensibly principled distributed systems engineer at Subspace, where he counts
milliseconds and lists facts about networks. He's currently also a
school teacher, so recent skill acquisitions include Elixir and
remembering long division.

Link: https://people.ucsc.edu/~palvaro/molly.pdf