"Data Races and Static Analysis for Interrupt-Driven Kernels."

Nikita Chopra, Rekha Pai, Deepak D'Souza (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics