Rekha R. Pai

13 papers A 2B 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
Static Race Detection for Periodic Real-Time Programs with IPCP Locks.
The Application of Formal Methods
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
2023 — conf
A Formal CHERI-C Semantics for Verification.
TACAS (1)
Seung Hoon Park, Rekha R. Pai, Tom Melham
2022 J jnl
A Formal CHERI-C Semantics for Verification.
CoRR
Seung Hoon Park, Rekha R. Pai, Tom Melham
2022 A conf
Static Race Detection for Periodic Programs.
ESOP
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
2022 — conf
Static executes-before analysis for event driven programs.
ESEC/SIGSOFT FSE
Rekha R. Pai, Abhishek Uppar, Akshatha Shenoy, Pranshul Kushwaha, Deepak D'Souza
2021 J jnl
Static analysis for detecting high-level races in RTOS kernels.
Formal Methods Syst. Des.
Rekha R. Pai, Abhishek Singh, Deepak D'Souza, Meenakshi D'Souza, Prathibha Prakash
2020 — conf
Static Race Detection for RTOS Applications.
FSTTCS
Rishi Tulsyan, Rekha R. Pai, Deepak D'Souza
2020 J jnl
Static Race Detection for RTOS Applications.
CoRR
Rishi Tulsyan, Rekha R. Pai, Deepak D'Souza
2019 A conf
Data Races and Static Analysis for Interrupt-Driven Kernels.
ESOP
Nikita Chopra, Rekha R. Pai, Deepak D'Souza
2019 B conf
Static Analysis for Detecting High-Level Races in RTOS Kernels.
FM
Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza
2016 J jnl
Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA.
Comput. Lang. Syst. Struct.
Rekha R. Pai
2015 B conf
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA.
APLAS
Rekha R. Pai
2015 J jnl
Global Value Numbering: A Precise and Efficient Algorithm.
CoRR
Rekha R. Pai