This paper presents S2E, a platform for analyzing the properties and behavior of software
systems. We demonstrate S2E's use in developing practical tools for comprehensive …

Cloud-management stacks have become an increasingly important element in cloud
computing, serving as the resource manager of cloud platforms. While the functionality of …

Kernel concurrency bugs are notoriously difficult to find during testing since they are only
triggered under certain instruction interleavings. Unfortunately, no tools for systematically …

Failures, errors, and bugs can corrupt file systems and cause data loss, despite the
presence of journals and similar preventive techniques. While consistency checkers such as …

Large-scale parallel file systems (PFSs) play an essential role in high-performance
computing (HPC). However, despite their importance, their reliability is much less studied or …

File systems may become corrupted for many reasons despite various protection
techniques. Therefore, most file systems come with a checker to recover the file system to a …

Our community constantly pushes the state-of-the-art by introducing" new" techniques.
These techniques often build on top of, and are compared against, existing systems that …

Abstract System and method for checking and characterizing metadata of snapshots utilize a
snapshot metadata database to execute at least one of checking and characterizing …

Data deduplication technology has gained popularity in modern file systems due to its ability
to eliminate redundant writes and improve storage space efficiency. In recent years, the flash …

Similar to local file system checkers such as e2fsck for Ext4, a parallel file system (PFS)
checker ensures the file system's correctness. The basic idea of file system checkers is …