Spiffy: Enabling File-System Aware Storage Applications.

Daniel Fryer

Kuei Sun Daniel Fryer Russell Wang Sagar Patel Joseph Chu Matthew Lakier Angela Demke Brown Ashvin Goel Spiffy: Enabling File-System Aware Storage Applications. 16:1-16:39 2020 16 ACM Trans. Storage 3 https://doi.org/10.1145/3386368 db/journals/tos/tos16.html#SunFWPCLBG20

Daniel Fryer Protecting Persistent Data with Run-time Invariant Checking. University of Toronto, Canada 2019 http://hdl.handle.net/1807/95848 Kuei Sun Daniel Fryer Joseph Chu Matthew Lakier Angela Demke Brown Ashvin Goel Spiffy: Enabling File-System Aware Storage Applications. 91-104 2018 FAST https://www.usenix.org/conference/fast18/presentation/sun conf/fast/2018 db/conf/fast/fast2018.html#SunFCLBG18 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 Antony I. T. Rowstron Understanding Rack-Scale Disaggregated Storage. 2017 HotStorage https://www.usenix.org/conference/hotstorage17/program/presentation/legtchenko conf/hotstorage/2017 db/conf/hotstorage/hotstorage2017.html#LegtchenkoWRDBD17

Daniel Fryer Mike Dai Qin Jack Sun Kah Wai Lee Angela Demke Brown Ashvin Goel Checking the Integrity of Transactional Mechanisms. 17:1-17:23 2014 10 ACM Trans. Storage 4 https://doi.org/10.1145/2675113 db/journals/tos/tos10.html#FryerQSLBG14

Daniel Fryer Dai Qin Jack Sun Kah Wai Lee Angela Demke Brown Ashvin Goel Checking the integrity of transactional mechanisms. 295-308 2014 FAST https://www.usenix.org/conference/fast14/technical-sessions/presentation/fryer conf/fast/2014 db/conf/fast/fast2014.html#FryerQSLBG14 Kuei Sun Daniel Fryer Dai Qin Angela Demke Brown Ashvin Goel Robust Consistency Checking for Modern Filesystems. 85-91 2014 RV https://doi.org/10.1007/978-3-319-11164-3_8 conf/rv/2014 db/conf/rv/rv2014.html#SunFQBG14 Kuei Jack Sun Daniel Fryer Angela Demke Brown Ashvin Goel Annotation for automation: rapid generation of file system tools. 4:1-4:6 2013 PLOS@SOSP https://doi.org/10.1145/2525528.2525529 conf/sosp/2013plos db/conf/sosp/plos2013.html#SunFBG13

Daniel Fryer Kuei Sun Rahat Mahmood Tinghao Cheng Shaun Benjamin Ashvin Goel Angela Demke Brown Recon: Verifying file system consistency at runtime. 15:1-15:29 2012 8 ACM Trans. Storage 4 https://doi.org/10.1145/2385603.2385608 db/journals/tos/tos8.html#FryerSMCBGB12

Dulcardo Arteaga Rik Farrow Daniel Fryer Doowon Kim Michelle L. Mazurek Dutch T. Meyer Swapnil Patil 0001 Yiqi Xu USENIX Notes. 2012 37 login Usenix Mag. 3 https://www.usenix.org/publications/login/june-2012-volume-37-number-3/usenix-notes db/journals/usenix-login/usenix-login37.html#ArteagaFFKMMPX12

Daniel Fryer Kuei Sun Rahat Mahmood Tinghao Cheng Shaun Benjamin Ashvin Goel Angela Demke Brown Recon: verifying file system consistency at runtime. 7 2012 FAST https://www.usenix.org/conference/fast12/recon-verifying-file-system-consistency-runtime conf/fast/2012 db/conf/fast/fast2012.html#FryerSMCBGB12 Jack Sun Daniel Fryer Ashvin Goel Angela Demke Brown Using declarative invariants for protecting file-system integrity. 6:1-6:5 2011 PLOS@SOSP https://doi.org/10.1145/2039239.2039248 conf/sosp/2011plos db/conf/sosp/plos2011.html#SunFGB11 Dulcardo Arteaga Shaun Benjamin Richard Black Angela Demke Brown Tinghao Cheng Nathanael Cheriere Joseph Chu Austin Donnelly Andrew Douglas Rik Farrow Ashvin Goel Doowon Kim Ana Klimovic Matthew Lakier Kah Wai Lee Sergey Legtchenko Rahat Mahmood Kai Mast Michelle L. Mazurek Dutch T. Meyer Sagar Patel Swapnil Patil 0001 Dai QinMike Dai Qin Kaveh Razavi Antony I. T. Rowstron Andy Slowey Jack Sun Kuei SunKuei Jack Sun Russell Wang Hugh Williams Yiqi Xu