Number of items: 2.
Conference Paper
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.
Journal Article
Pai, R and Singh, A and D’Souza, D and D’Souza, M and Prakash, P
(2021)
Static analysis for detecting high-level races in RTOS kernels.
In: Formal Methods in System Design
.
(In Press)
This list was generated on Fri Apr 19 09:55:27 2024 IST.
