[dang]

A couple of previous comments, both of which point to the related paper, which is at https://arxiv.org/abs/2003.10554.

Elle: Black-box transactional safety checker based on cycle detection (Jespen) - https://news.ycombinator.com/item?id=22692162 - March 2020 (1 comment)

Elle: An open source transactional consistency checker for black-box databases - https://news.ycombinator.com/item?id=22690299 - March 2020 (1 comment)