Change the repository type filter
All
Repositories list
21 repositories
HyperLedgerLab
PublicLocal-Storage-Stack
Publicblockchain_papers
Publicprov-io
PublicA provenance management framework for scientific data I/O libraries [HPDC'22]Non-Volatile-Memory
PublicSecurity
Publicpfault
PublicAnalyzing the fault tolerance of high-performance parallel file systems [TOS'22, HotStorage'21, PDSW'20, ICS'18, PDSW'16].github
PublicConfD
PublicAnalyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]BugBench
PublicCharacterized real-world bug cases in OS kernels, file systems, storage applications, etc. [TOS'23, FAST'23, NAS'22, SYSTOR'21, TBench'21]Fuzzing
PublicData-Provenance
PublicSymbolic-Execution
PublicProgram-Analysis
PublicFormal-Methods
PublicTesting-and-Debugging
Publicrfsck
PublicTesting the fault resilience of file system checkers and ensuring transactional repairs [TOS'18, FAST'18, HotStorage'17]