Rekha Pai

​Research Associate

PUBLICATIONS

Export: BibTex

Pai, R., Uppar, A., Shenoy, A., Kushwaha, P., D'Souza, D. Static Data Race Detection for Event Driven Programs. In: Roychoudhury A., Cadar C., and Kim M.(eds) 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2022. pp. 233-244.

Suresh V., Pai R., D’Souza D., D’Souza M., Chakrabarti S. Static Race Detection for Periodic Programs. In. Sergey I. (eds) Programming Languages and Systems. ESOP 2022. Lecture Notes in Computer Science, vol 13240, pp. 290--316. Springer

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) 40th 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. 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