Using declarative invariants for protecting file-system integrity. - Jack Sun; Daniel Fryer; Ashvin Goel; Angela Demke Brown (PLOS@SOSP, 2011)

Recon: Verifying file system consistency at runtime. - Daniel Fryer; Kuei Sun; Rahat Mahmood; Tinghao Cheng; Shaun Benjamin; Ashvin Goel; Angela Demke Brown (ACM Trans. Storage, 2012)

USENIX Notes. - Dulcardo Arteaga; Rik Farrow; Daniel Fryer; Doowon Kim; Michelle L. Mazurek; Dutch T. Meyer; Swapnil Patil 001; Yiqi Xu (login Usenix Mag., 2012)

Annotation for automation: rapid generation of file system tools. - Kuei Jack Sun; Daniel Fryer; Angela Demke Brown; Ashvin Goel (PLOS@SOSP, 2013)

Robust Consistency Checking for Modern Filesystems. - Kuei Sun; Daniel Fryer; Dai Qin; Angela Demke Brown; Ashvin Goel (RV, 2014)

Checking the Integrity of Transactional Mechanisms. - Daniel Fryer; Mike Dai Qin; Jack Sun; Kah Wai Lee; Angela Demke Brown; Ashvin Goel (ACM Trans. Storage, 2014)

Understanding Rack-Scale Disaggregated Storage. - Sergey Legtchenko; Hugh Williams; Kaveh Razavi; Austin Donnelly; Richard Black; Andrew Douglas; Nathanael Cheriere; Daniel Fryer; Kai Mast; Angela Demke Brown; Ana Klimovic; Andy Slowey; et al. (HotStorage, 2017)

Spiffy: Enabling File-System Aware Storage Applications. - Kuei Sun; Daniel Fryer; Joseph Chu; Matthew Lakier; Angela Demke Brown; Ashvin Goel (FAST, 2018)

Protecting Persistent Data with Run-time Invariant Checking. - Daniel Fryer (2019)

Spiffy: Enabling File-System Aware Storage Applications. - Kuei Sun; Daniel Fryer; Russell Wang; Sagar Patel; Joseph Chu; Matthew Lakier; Angela Demke Brown; Ashvin Goel (ACM Trans. Storage, 2020)