51 citations · 69 across the 9 of their papers we have counts for
3 papers · 1 filter
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…
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs
Suvam Mukherjee, Oded Padon, Sharon Shoham +2
Data race free (DRF) programs constitute an important class of concurrent programs. In this paper we provide a framework for designing and proving the correctness of data flow anal…
Verification of a Generative Separation Kernel
Inzemamul Haque, Deepak D'Souza, Habeeb P +2
We present a formal verification of the functional correctness of the Muen Separation Kernel. Muen is representative of the class of modern separation kernels that leverage hardwar…