[DB Seminar] Spring 2020 DB Group: Black-box Isolation Checking with Elle
Databases are awful. They lose information, corrupt state, and do other terrible things, both by design and by accident. You’d think that *testing* databases to see how awful they are would help make them better, but it turns out that testing most of the useful database safety properties is *also* awful. We came up with a better way to test databases, called Elle. Elle finds, graphs, and explains a wealth of isolation violations by mapping observed histories to Adya-style dependency graphs, and does so in linear time. Come learn the one weird trick that BIG DATA, SIGMOD, and VLDB don’t want you to know!
Zoom Link: https://cmu.zoom.us/j/562649242
Kyle Kingsbury, a.k.a "Aphyr", is a computer safety researcher working as an independent consultant. He's the author of the Riemann monitoring system, the Clojure from the Ground Up introduction to programming, and the Jepsen series on distributed systems correctness. He grills databases in the American Midwest.