Silhouette: Leveraging Consistency Mechanisms to Detect Bugs in Persistent Memory-Based File Systems

Authors: 

Bing Jiao, Florida State University; Ashvin Goel, University of Toronto; An-I Andy Wang, Florida State University