3 citations · 3 across the 2 of their papers we have counts for
2 papers
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…