Cindy Rubio-González Haryadi S. Gunawi Ben Liblit Remzi H. Arpaci-Dusseau Andrea C. Arpaci-Dusseau Error propagation analysis for file systems. 270-280 2009 PLDI http://doi.acm.org/10.1145/1542476.1542506 conf/pldi/2009 db/conf/pldi/pldi2009.html#Rubio-GonzalezGLAA09