The following publications are possibly variants of this publication:
- COLE: A Column-based Learned Storage for Blockchain SystemsCe Zhang 0007, Cheng Xu 0004, Haibo Hu 0001, Jianliang Xu. FAST 2024: 329-345 [doi]
- Metis: File System Model Checking via Versatile Input and State ExplorationYiFei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok. FAST 2024: 123-140 [doi]