Up a level |
Chopra, N and Pai, R and D’Souza, D (2019) Data Races and Static Analysis for Interrupt-Driven Kernels. In: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 - 11 April 2019, Prague, pp. 697-723.