Rekha R. Pai

According to our database, Rekha R. Pai authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A Formal CHERI-C Semantics for Verification.

Seung Hoon Park, Rekha R. Pai, Tom Melham

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Static executes-before analysis for event driven programs.

Rekha R. Pai, Abhishek Uppar, Akshatha Shenoy, Pranshul Kushwaha, Deepak D'Souza

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Static Race Detection for Periodic Programs.

Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti

Proceedings of the Programming Languages and Systems, 2022

2021

Static analysis for detecting high-level races in RTOS kernels.

Rekha R. Pai, Abhishek Singh, Deepak D'Souza, Meenakshi D'Souza, Prathibha Prakash

Formal Methods Syst. Des., 2021

2020

Static Race Detection for RTOS Applications.

Rishi Tulsyan, Rekha R. Pai, Deepak D'Souza

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Static Analysis for Detecting High-Level Races in RTOS Kernels.

Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Data Races and Static Analysis for Interrupt-Driven Kernels.

Nikita Chopra, Rekha R. Pai, Deepak D'Souza

Proceedings of the Programming Languages and Systems, 2019

2016

Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA.

Rekha R. Pai

Comput. Lang. Syst. Struct., 2016

2015

Global Value Numbering: A Precise and Efficient Algorithm.

Rekha R. Pai

CoRR, 2015

Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA.

Rekha R. Pai

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015