@InProceedings{,
author = "Kuei Sun and Daniel Fryer and Ashvin Goel and Dai Qin and Angela Demke Brown",
title = "Robust Consistency Checking for Modern Filesystems",
booktitle = "International Conference on Runtime Verification",
address = "Toronto, Canada",
month = "September",
year = "2014",
pages = "",
}