Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. - Rekha R. Pai (APLAS, 2015)

Global Value Numbering: A Precise and Efficient Algorithm. - Rekha R. Pai (CoRR, 2015)

Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA. - Rekha R. Pai (Comput. Lang. Syst. Struct., 2016)

Data Races and Static Analysis for Interrupt-Driven Kernels. - Nikita Chopra; Rekha R. Pai; Deepak D'Souza (ESOP, 2019)

Static Analysis for Detecting High-Level Races in RTOS Kernels. - Abhishek Singh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza (FM, 2019)

Static Race Detection for RTOS Applications. - Rishi Tulsyan; Rekha R. Pai; Deepak D'Souza (FSTTCS, 2020)

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)

Static Race Detection for Periodic Programs. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (ESOP, 2022)

Static executes-before analysis for event driven programs. - Rekha R. Pai; Abhishek Uppar; Akshatha Shenoy 001; Pranshul Kushwaha; Deepak D'Souza (ESEC/SIGSOFT FSE, 2022)

A Formal CHERI-C Semantics for Verification. - Seung Hoon Park; Rekha R. Pai; Tom Melham (TACAS (1), 2023)

Static Race Detection for Periodic Real-Time Programs with IPCP Locks. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (The Application of Formal Methods, 2024)