{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:WSMVOHWH6MEJPTKQVPCD24DXVR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b8f97dfb706242d5cfbf2decfdc8c18a9d69c8996137415f65e6f1cfd1be7049","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-03-19T14:23:24Z","title_canon_sha256":"5e3f216def72403049858b54684ed26b9d968603b43b3fa65fe022d8b87aa349"},"schema_version":"1.0","source":{"id":"1403.4813","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.4813","created_at":"2026-05-18T02:42:53Z"},{"alias_kind":"arxiv_version","alias_value":"1403.4813v3","created_at":"2026-05-18T02:42:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.4813","created_at":"2026-05-18T02:42:53Z"},{"alias_kind":"pith_short_12","alias_value":"WSMVOHWH6MEJ","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WSMVOHWH6MEJPTKQ","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WSMVOHWH","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:360200e0d5998efbb653181ab5e28fedd45c09aff1f7c1b72c8b32da3c5ae0b6","target":"graph","created_at":"2026-05-18T02:42:53Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection for MPI programs have the shortage of providing both input and non-determinism coverage, leading to missed bugs. In this paper, we employ symbolic execution to ensure the input coverage, and propose an on-the-fly schedule algorithm to reduce the interleaving explorations for non-determinism coverage, while ensuring the soundness and completeness. We have implemented our approach as a tool, called MPISE, which can autom","authors_text":"Chun Huang, Ji Wang, Wei Dong, Xianjin Fu, Yufeng Zhang, Zhenbang Chen","cross_cats":["cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-03-19T14:23:24Z","title":"MPISE: Symbolic Execution of MPI Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.4813","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1a4509ea23da7de3dd20e51a1c0c47081fb84f70f1b0fd4112807bf77e18970f","target":"record","created_at":"2026-05-18T02:42:53Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b8f97dfb706242d5cfbf2decfdc8c18a9d69c8996137415f65e6f1cfd1be7049","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-03-19T14:23:24Z","title_canon_sha256":"5e3f216def72403049858b54684ed26b9d968603b43b3fa65fe022d8b87aa349"},"schema_version":"1.0","source":{"id":"1403.4813","kind":"arxiv","version":3}},"canonical_sha256":"b499571ec7f30897cd50abc43d7077ac6884990d206eac7af48e608d8ad52a1a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b499571ec7f30897cd50abc43d7077ac6884990d206eac7af48e608d8ad52a1a","first_computed_at":"2026-05-18T02:42:53.779618Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:53.779618Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lvUfGqHVaZl3jOfSXOxSYS9tXuXcOL0sFdsCwJupbXGcu2NF1NlVhcYbGUsxfhXkNLH5+Cgo+2LkSlXCRz4mBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:53.780005Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.4813","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a4509ea23da7de3dd20e51a1c0c47081fb84f70f1b0fd4112807bf77e18970f","sha256:360200e0d5998efbb653181ab5e28fedd45c09aff1f7c1b72c8b32da3c5ae0b6"],"state_sha256":"214c129426d95ee8ef0f9449c13642d4cca96c35e42c7ce1402a0595a9453e1f"}