Rekha Pai

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

False Positives

Formal Languages

Static Analysis

Model Theoretic

Top Venues

Publications

Seung Hoon Park, Rekha Pai, Tom Melham
A Formal CHERI-C Semantics for Verification. CoRR (2022)
Rishi Tulsyan, Rekha Pai, Deepak D'Souza
Static Race Detection for RTOS Applications. CoRR (2020)
Rishi Tulsyan, Rekha Pai, Deepak D'Souza
Static Race Detection for RTOS Applications. FSTTCS (2020)
Nikita Chopra, Rekha Pai, Deepak D'Souza
Data Races and Static Analysis for Interrupt-Driven Kernels. ESOP (2019)
Abhishek Singh, Rekha Pai, Deepak D'Souza, Meenakshi D'Souza
Static Analysis for Detecting High-Level Races in RTOS Kernels. FM (2019)