Abstract: Discovering kernel concurrency bugs through fuzzing is challenging. Identifying kernel concurrency bugs, as opposed to non-concurrency bugs, necessitates an analysis of possible ...
Abstract: Due to the non-determinism of thread interleaving, predicting con-currency bugs has long been an extremely difficult task. Recently, several sound bug-detecting approaches were proposed.