Data races occur when two threads fail to use proper synchronization when accessing
shared data. In kernel file systems, which are highly concurrent by design, data races are …

Modern operating system kernels are too complex to be free of bugs. Fuzzing is a promising
approach for vulnerability detection and has been applied to kernel testing. However …

Persistent Memory (PM) can be used by applications to directly and quickly persist any data
structure, without the overhead of a file system. However, writing PM applications that are …

The promise of software sandboxing is flexible, fast and portable isolation; capturing the
benefits of hardwarebased memory protection without requiring operating system …

Autonomous driving has become real; semi-autonomous driving vehicles in an affordable
price range are already on the streets, and major automotive vendors are actively …

Fuzzing is popular for bug detection and vulnerability discovery nowadays. To adopt fuzzing
for concurrency problems like data races, several recent concurrency fuzzing approaches …

The advent of non-volatile main memory (NVM) enables the development of crash-
consistent software without paying storage stack overhead. However, building a correct …

Blockchain is a decentralized distributed system on which a large number of financial
applications have been deployed. The consensus process in it plays an important role …

Ethereum is the second-largest blockchain platform next to Bitcoin. In the Ethereum network,
decentralized Ethereum clients reach consensus through transitioning to the same …

The Persistent Memory (PM) technology combines the persistence of storage with the
performance approaching that of DRAM. Programs taking advantage of PM must ensure …