Untitled attachment

Notices where this attachment appears

1. Embed this notice
   therealdatabass (ifesdjeen@hachyderm.io)'s status on Friday, 09-Dec-2022 10:06:46 JST therealdatabass

   in reply to

   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