Rekha Pai | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Tom Melham
12 publications
Deepak D'Souza
7 publications
Seung Hoon Park
1 publication
Rishi Tulsyan
1 publication

research

∙ 11/14/2022

A Formal CHERI-C Semantics for Verification

CHERI-C extends the C programming language by adding hardware capabiliti...

0 Seung Hoon Park, et al. ∙

research

∙ 10/06/2020

Static Race Detection for RTOS Applications

We present a static analysis technique for detecting data races in Real-...

0 Rishi Tulsyan, et al. ∙