Program analysis under relaxed memory concurrency
dc.contributor.advisor | Sharma, Subodh | |
dc.contributor.author | Singh, Sanjana | |
dc.date.accessioned | 2023-08-09 | |
dc.date.accessioned | 2024-10-29T10:56:36Z | |
dc.date.issued | 2023 | |
dc.identifier.uri | http://10.17.50.146:4000/handle/123456789/2421 | |
dc.relation.ispartofseries | TH7378 | |
dc.subject | Memory Models | |
dc.title | Program analysis under relaxed memory concurrency | |
dc.type | Thesis |
Files
Original bundle
1 - 1 of 1