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 |
Contact info : | prakashs@imsc.res.in |
Timeline Start Year : | 2023 |
Timeline End Year : | 2026 |
Total Budget (INR): | 6,60,000 |
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. |
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 | |