NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Durable Linearizability"”.

  1. Detecting Persistence Bugs from Non-volatile Memory Programs by Inferring Likely-correctness Conditions

    Fu, XinweiVirginia Tech2022

    … space required to examine. We then leverage the durable linearizability model to validate consistency automatically without manual consistency validation. In this way, we can detect persistence bugs from NVM programs in a scalable and automatic manner. In total, we detect 47 (36 new) persistence …

    vt Repository record