{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T09:50:11Z","timestamp":1758707411807,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T00:00:00Z","timestamp":1627430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T00:00:00Z","timestamp":1627430400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T00:00:00Z","timestamp":1627430400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,28]]},"DOI":"10.1109\/ispdc52870.2021.9521645","type":"proceedings-article","created":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T17:02:52Z","timestamp":1629997372000},"page":"41-48","source":"Crossref","is-referenced-by-count":2,"title":["OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM"],"prefix":"10.1109","author":[{"given":"Md Abdullah Shahneous","family":"Bari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ujjwal","family":"Arora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Varun","family":"Hegde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tony","family":"Curtis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Chapman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/s00450-012-0214-4"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1002\/cpe.705"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/11846802_21"},{"year":"2021","article-title":"Boundschecker","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/1145319.1145342"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-3-540-75416-9_8"},{"key":"ref16","article-title":"Upc-spin: A framework for the model checking of upc programs","author":"ebnenasir","year":"0","journal-title":"PGAS11"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1023\/B:FORM.0000040026.56959.91"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/978-3-540-24756-2_1"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/SC.2018.00066"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/2020373.2020375"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/2833157.2833159"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/11846802_18"},{"year":"2020","article-title":"Openshmem application programming interface version 1.5","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-3-642-38750-0_9"},{"key":"ref7","first-page":"102","article-title":"An introduction to the infiniband architecture","volume":"42","author":"pfister","year":"2001","journal-title":"High Performance Mass Storage and Parallel I\/O"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/SC.2000.10055"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/S0927-5452(04)80063-7"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-642-16558-0_44"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/3183440.3190336"},{"key":"ref22","article-title":"The openshmem analyzer","author":"hernandez","year":"0","journal-title":"PGAS12 2012"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-319-52709-3_3"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-319-05215-1_10"}],"event":{"name":"2021 20th International Symposium on Parallel and Distributed Computing (ISPDC)","start":{"date-parts":[[2021,7,28]]},"location":"Cluj-Napoca, Romania","end":{"date-parts":[[2021,7,30]]}},"container-title":["2021 20th International Symposium on Parallel and Distributed Computing (ISPDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9521547\/9521595\/09521645.pdf?arnumber=9521645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:45:21Z","timestamp":1652183121000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9521645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,28]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ispdc52870.2021.9521645","relation":{},"subject":[],"published":{"date-parts":[[2021,7,28]]}}}