Verifying concurrent, crash-safe systems with Perennial.

Tej Chajed Joseph Tassarotti M. Frans Kaashoek Nickolai Zeldovich

Published in: SOSP (2019)

Keyphrases

management system
computer systems
databases
data sets
metadata
image segmentation
digital libraries
learning systems
complex systems