|
 | Up a level |
Pai, R and Uppar, A and Shenoy, A and Kushwaha, P and D'Souza, D (2022) Static executes-before analysis for event driven programs. In: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 7 November 2022, Singapore, pp. 233-244.
Suresh, VP and Pai, R and DSouza, D and DSouza, M and Chakrabarti, SK (2022) Static Race Detection for Periodic Programs. In: European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 5-7 April 2022, Munich, pp. 290-316.
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.
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)
