Jepsen: I'm pleased to announce Elle, a black-box, linear-time checker for transactional (or single-key!) consistency models. I've been working on this with @palvaro for over a year now. Now you can use it too!
10 replies, 622 likes
palvaro: words can't express how awesome and important Elle is
4 replies, 109 likes
Martin Kleppmann 🇪🇺: This looks terrific. Great work!
1 replies, 13 likes
Camille Fournier: This is just so cool
0 replies, 9 likes
Ethan Buchman: Databases beware! The new checker is ~linear (vs superlinear) in history length and ~constant (vs exponential!) in amount of concurrency. Can handle orders of magnitude more ops per history.
Looks like very impressive work!
0 replies, 7 likes
Brecht De Rooms: An independent framework to test and find anomalies databases should always be applauded! 😀
1 replies, 2 likes
HotComputerScience: Most popular computer science paper of the day:
"Elle: Inferring Isolation Anomalies from Experimental Observations"
0 replies, 1 likes
Found on Mar 25 2020 at https://arxiv.org/pdf/2003.10554.pdf