Research
Title : | Verification of Concurrent Programs in Weak Memory Models |
Area of research : | Mathematical Sciences |
Principal Investigator : | Dr. Prakash Saivasan, Institute Of Mathematical Sciences, Chennai, Tamil nadu |
Timeline Start Year : | 2023 |
Timeline End Year : | 2026 |
Contact info : | prakashs@imsc.res.in |
Details
Executive Summary : | The project aims to explore efficient methods for formally verifying concurrent programs in weak memory models, specifically in the total store order memory model, and to investigate this process when combined with persistent memory. |
Total Budget (INR): | 6,60,000 |
Organizations involved
Implementing Agency : | Institute Of Mathematical Sciences, Chennai, Tamil nadu Funding Agency :Anusandhan National Rsearch Foundation (ANRF)/Science and Engineering Research Board (SERB) | Source:Science and Engineering Research Board (SERB), DST 2022-23 | |