Paper

{
  "raw_xml": "<entry>\n    <id>http://arxiv.org/abs/2603.03023v1</id>\n    <title>Dynamic Contract Analysis for Parallel Programming Models</title>\n    <updated>2026-03-03T14:15:29Z</updated>\n    <link href='https://arxiv.org/abs/2603.03023v1' rel='alternate' type='text/html'/>\n    <link href='https://arxiv.org/pdf/2603.03023v1' rel='related' title='pdf' type='application/pdf'/>\n    <summary>Parallel programming in high-performance computing depends on low-level APIs such as MPI, requiring users to manage synchronization and resources manually. Several correctness checking tools exist to help bug-free code development, though most target a single programming model, limiting their applicability. Our previous work, the static analysis tool CoVer, leverages a contract-based approach enabling users to specify custom error-checking rules and support emerging or unconventional programming models without requiring extensive new tooling. However, static analysis cannot fully reason about runtime-dependent behavior such as pointer aliasing or indirect control flow. To address this, we present CoVer-Dynamic, a dynamic analysis extension that reuses CoVer's contract language to provide a unified static-dynamic verification framework. By enforcing the same contracts at runtime, CoVer-Dynamic improves classification accuracy and eliminates false positives on standardized MPI and OpenSHMEM benchmarks, while detecting errors beyond static analysis only. Our evaluation shows that CoVer-Dynamic consistently outperforms the state-of-the-art correctness checker MUST, averaging a 2x speedup. Finally, our results show limitations in the expressiveness of the contract language, motivating future work to support more error classes.</summary>\n    <category scheme='http://arxiv.org/schemas/atom' term='cs.DC'/>\n    <published>2026-03-03T14:15:29Z</published>\n    <arxiv:comment>A peer-reviewed version is to be published by IEEE as part of the IPDPS HIPS workshop proceedings. This is the originally submitted article</arxiv:comment>\n    <arxiv:primary_category term='cs.DC'/>\n    <author>\n      <name>Yussur Mustafa Oraji</name>\n    </author>\n    <author>\n      <name>Alexander Hück</name>\n    </author>\n    <author>\n      <name>Christian Bischof</name>\n    </author>\n  </entry>"
}