Verification of Concurrent Programs in Weak Memory Models
Implementing Organization
Institute Of Mathematical Sciences, Chennai, Tamil nadu
Principal Investigator
Dr. Prakash Saivasan
Institute Of Mathematical Sciences, Chennai, Tamil nadu
Project Overview
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.
Source
Source
Science and Engineering Research Board (SERB), DST 2022-23
Science and Engineering Research Board (SERB), New Delhi
Quick Information
Area of Research
Mathematical Sciences
Start Date
2023
End Date
2026
Status
completed
Contact
prakashs@imsc.res.in
Output
No. of Research Paper
00
Technologies (If Any)
00
No. of PhD Produced
00
Publications
00
No. of Patents
Filed :00
Grant :00
Disclaimer:
Information available on this portal is sourced from various organizations and is provided for informational purposes only. Users are advised to verify details from the respective official sources.
Please enter your details
Please provide your name and email to continue. Your details are saved in this browser for future use.
Latest Updates
Loading…
⚠️
You are leaving this website
You are about to be redirected to an external website that is not operated by
India Science, Technology & Innovation (ISTI) Portal.
Institute Of Mathematical Sciences, Chennai, Tamil nadu
Accessibility Controls