{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T17:24:12Z","timestamp":1791307452512,"version":"4.3.1"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"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":[[2026,5]]},"DOI":"10.1109\/ipdpsw71298.2026.00041","type":"proceedings-article","created":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T19:10:39Z","timestamp":1787166639000},"page":"270-279","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic Contract Analysis for Parallel Programming Models"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-9922-3112","authenticated-orcid":false,"given":"Yussur Mustafa","family":"Oraji","sequence":"first","affiliation":[{"name":"Technische Unversit\u00e4t Darmstadt","place":["Darmstadt, Germany"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1931-773X","authenticated-orcid":false,"given":"Alexander","family":"Huck","sequence":"additional","affiliation":[{"name":"Technische Unversit\u00e4t Darmstadt","place":["Darmstadt, Germany"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2711-3032","authenticated-orcid":false,"given":"Christian","family":"Bischof","sequence":"additional","affiliation":[{"name":"Technische Unversit\u00e4t Darmstadt","place":["Darmstadt, Germany"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"MPI: A Message-Passing Interface Standard Version 4.1","year":"2023"},{"key":"ref2","article-title":"OpenSHMEM: Application Programming Interface Version 1.5","year":"2020"},{"key":"ref3","article-title":"NVIDIA Collective Communication Library (NCCL) Documentation \u2014 NCCL 2.25.1 documentation","year":"2025"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11261-4_5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3673038.3673109"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-032-07194-1_4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73370-3_1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2833157.2833159"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-032-07194-1_9"},{"key":"ref10","first-page":"188","article-title":"Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead","volume-title":"Proceedings of the SC \u201925 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","author":"Oraji","year":"2025"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624087"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73370-3_8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2172\/1090032"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2014.7040972"},{"key":"ref16","article-title":"TeaLeaf","volume-title":"University of Bristol High Performance Computing group","year":"2025"},{"key":"ref17","article-title":"Artifact for \u2019Dynamic Contract Verification for Parallel Programming Models\u2019","author":"Oraji"},{"key":"ref18","first-page":"19","article-title":"Automated MPI Correctness Checking What if there was a magic option?","volume-title":"Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing","author":"Ohly","year":"2007"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807635"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00066"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3776705"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/314971"}],"event":{"name":"2026 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)","location":"New Orleans, LA, USA","start":{"date-parts":[[2026,5,25]]},"end":{"date-parts":[[2026,5,29]]}},"container-title":["2026 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11651886\/11651887\/11652022.pdf?arnumber=11652022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,16]],"date-time":"2026-09-16T04:27:51Z","timestamp":1789532871000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11652022\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ipdpsw71298.2026.00041","relation":{},"subject":[],"published":{"date-parts":[[2026,5]]}}}