Daniel Fryer

According to our database1, Daniel Fryer authored at least 10 papers between 2011 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Spiffy: Enabling File-System Aware Storage Applications.
ACM Trans. Storage, 2020

2019
Protecting Persistent Data with Run-time Invariant Checking.
PhD thesis, 2019

2018
Spiffy: Enabling File-System Aware Storage Applications.
Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018

2017
Understanding Rack-Scale Disaggregated Storage.
Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

2014
Robust Consistency Checking for Modern Filesystems.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Checking the integrity of transactional mechanisms.
Proceedings of the 12th USENIX conference on File and Storage Technologies, 2014

2013
Annotation for automation: rapid generation of file system tools.
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

2012
USENIX Notes.
login Usenix Mag., 2012

Recon: verifying file system consistency at runtime.
Proceedings of the 10th USENIX conference on File and Storage Technologies, 2012

2011
Using declarative invariants for protecting file-system integrity.
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011


  Loading...