Export: BibTex
Suresh, V., Pai, R., D'Souza D., D'Souza, M., Chakrabarti, S. Static Race Detection for Periodic Programs. Submitted.
Pai, R., Uppar, A., Shenoy, A., Kushwaha, P., D'Souza, D. Static Data Race Detection for Event Driven Programs. Submitted.
Pai R., Singh A., D’Souza D., D’Souza M., Prakash P. Static Analysis for Detecting High-Level Races in RTOS Kernels. Formal Methods of Software Design (FMSD) 2021.
Tulsyan R., Pai R., D’Souza D. Static Race Detection for RTOS Applications. In: Saxena N. and Simon S. (eds) 40 th IARCS Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2020. LIPIcs vol 182, pp. 1–20, Schloss Dagstuhl
Singh A., Pai R., D’Souza D., D’Souza M. Static Analysis for Detecting High-Level Races in RTOS Kernels. In: ter Beek M., McIver A., Oliveira J. (eds) Formal Methods – The Next 30 Years. Formal Methods Symposium (FM) 2019. Lecture Notes in Computer Science, vol 11800, pp. 337–353. Springer, Cham
Chopra N., Pai R., D’Souza D. Data Races and Static Analysis for Interrupt-Driven Kernels. In: Caires L. (eds) Programming Languages and Systems. ESOP 2019. Lecture Notes in Computer Science, vol 11423, pp. 697–723. Springer, Cham
Pai, Rekha R. Detection of Redundant Expressions: A Precise, Efficient, and Pragmatic Algorithm in SSA. Computer Languages, Systems, and Structures, 2016. vol 46, pp. 167–181.
Pai, Rekha R. Detection of Redundant Expressions: A Complete and Polynomial-time Algorithm in SSA. In the Proceedings of Asian Symposium of Programming Languages and Systems (APLAS) 2015. LNCS 9458, pp. 49–65, Springer International Publishing Switzerland