6 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 6 cited
A Formal CHERI-C Semantics for Verification
Seung Hoon Park, Rekha Pai, Tom Melham
CHERI-C extends the C programming language by adding hardware capabilities, ensuring a certain degree of memory safety while remaining efficient. Capabilities can also be employed…
cs.PL2020★ 3 cited
Static Race Detection for RTOS Applications
Rishi Tulsyan, Rekha Pai, Deepak D'Souza
We present a static analysis technique for detecting data races in Real-Time Operating System (RTOS) applications. These applications are often employed in safety-critical tasks an…
cs.PL2015
Global Value Numbering: A Precise and Efficient Algorithm
Rekha R Pai
Global Value Numbering (GVN) is an important static analysis to detect equivalent expressions in a program. We present an iterative data-flow analysis GVN algorithm in SSA for the…