Embed Notice

Dec 6: A good property-based test requires a good model, and modelling complex properties, such as linearizability and strict serializability is not always that simple, both in terms of time complexity and ease of understanding. Elle shows how to reframe the problem and make the operation results help with dependency tracking: "Elle: Inferring Isolation Anomalies from Experimental
Observations"

https://people.ucsc.edu/~palvaro/elle_vldb21.pdf