Rekha R. Pai

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Dynamic Analysis

High Efficiency

Strongly Polynomial

Top Venues

Comput. Lang. Syst. Struct.

ESEC/SIGSOFT FSE

Publications

Seung Hoon Park, Rekha R. Pai, Tom Melham
A Formal CHERI-C Semantics for Verification. TACAS (1) (2023)
Rekha R. Pai, Abhishek Uppar, Akshatha Shenoy, Pranshul Kushwaha, Deepak D'Souza
Static executes-before analysis for event driven programs. ESEC/SIGSOFT FSE (2022)
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
Static Race Detection for Periodic Programs. ESOP (2022)
Rekha R. Pai, Abhishek Singh, Deepak D'Souza, Meenakshi D'Souza, Prathibha Prakash
Static analysis for detecting high-level races in RTOS kernels. Formal Methods Syst. Des. 58 (1-2) (2021)
Rekha R. Pai
Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA. Comput. Lang. Syst. Struct. 46 (2016)
Rekha R. Pai
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. APLAS (2015)
Rekha R. Pai
Global Value Numbering: A Precise and Efficient Algorithm. CoRR (2015)