14 citations · 17 across the 5 of their papers we have counts for
4 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…
Presburger-Definable Parameterized Typestates
Ashish Mishra, Deepak Dsouza, Y. N. Srikant
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typesta…