Rekha R. Pai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2015–2023
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TACAS | A Formal CHERI-C Semantics for Verification. | Seung Hoon Park, Rekha R. Pai, Tom Melham |
| 2022 | ESOP | Static Race Detection for Periodic Programs. | Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti |
| 2019 | ESOP | Data Races and Static Analysis for Interrupt-Driven Kernels. | Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
| 2019 | FM | Static Analysis for Detecting High-Level Races in RTOS Kernels. | Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza |
| 2015 | APLAS | Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. | Rekha R. Pai |