Publications
Publications
The Recon project explores runtime verification as a way to prevent software or memory errors from corrupting stored data. Recon intercepts block i/o between the filesystem and disk, and ensures that filesystem metadata remains consistent and is updated atomically and durably. In Recon: Verifying File System Consistency at Runtime we outline the approach behind Recon. In Checking the Integrity of Transactional Mechanisms we discuss checking the atomicity and durability properties of a file system using either journaling or shadow paging for crash consistency. In Robust Consistency CHecking for Modern Filesystems we explore implementing the invariants in a higher level language (Datalog) in order to reason about them more effectively.
In addition to Recon itself we have been investigating ways to construct file system tools more reliably and efficiently. By annotating file system data structures, we can generate file system specific code and combine it with application-specific code called a template. Some of our work in this direction was presented at the PLOS workshop in 2013.
Citations:
- Daniel Fryer, Jack Sun, Rahat Mahmood, TingHao Cheng, Shaun Benjamin, Ashvin Goel and Angela Demke Brown. Recon: Verifying File System Consistency at Runtime. In ACM Transactions on Storage, Nov 2012. (Full version of FAST 2012, below)
- Daniel Fryer, Jack Sun, Rahat Mahmood, TingHao Cheng, Shaun Benjamin, Ashvin Goel and Angela Demke Brown. Recon: Verifying File System Consistency at Runtime. In Proceedings of the 10th USENIX Conference on File and Storage Technologies(FAST), Feb 2012. Awarded best paper!
- Daniel Fryer, Dai Qin, Kuei Sun, Kah Wai Lee, Angela Demke Brown and Ashvin Goel. Checking the Integrity of Transactional Mechanisms. In ACM Transactions on Storage, Oct 2014. (Full version of FAST 2014, below)
- Daniel Fryer, Dai Qin, Kuei Sun, Kah Wai Lee, Angela Demke Brown and Ashvin Goel. Checking the Integrity of Transactional Mechanisms. In Proceedings of the 12th USENIX Conference on File and Storage Technologies(FAST), Feb 2014.
- Kuei Sun, Daniel Fryer, Ashvin Goel and Angela Demke Brown. Using Declarative Invariants for Protecting File-System Integrity. In Workshop on Programming Languages and Operating Systems (PLOS), Oct 2011.
- Kuei Sun, Daniel Fryer, Dai Qin, Angela Demke Brown, and Ashvin Goel. Robust consistency checking for modern filesystems. In Proceedings of the International Conference on Runtime Verification (RV), Sep 2014.
- Kuei Sun, Daniel Fryer, Angela Demke Brown and Ashvin Goel. Annotation for automation: Rapid generation of file system tools. In Workshop on Programming Languages and Operating Systems (PLOS), November 2013.
site info
© 2016 Daniel Fryer | Template design by Andreas Viklund