We stand with Ukraine  

Rekha R. Pai

Orcid: 0000-0002-5964-8819

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
0
1
2
3
1
1
1
1
2
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Formal CHERI-C Semantics for Verification.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Rekha R. Pai
Comput. Lang. Syst. Struct., 2016

2015
Global Value Numbering: A Precise and Efficient Algorithm.
[BibTeX]
[DOI]
Rekha R. Pai
CoRR, 2015

Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA.
[BibTeX]
[DOI]
Rekha R. Pai
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015


  Loading...