Alex Merenstein

SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications

S. Smolka, E. Zadok, Niranjan Balasubramanian, 2022, LREC.

F3: Serving Files Efficiently in Serverless Computing

E. Zadok, Ali Anwar, Vasily Tarasov, 2023, SYSTOR.

CNSBench: A Cloud Native Storage Benchmark

Erez Zadok, Vasily Tarasov, Ali Anwar, 2021, FAST.