{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:R422EQFAPDZJGXIJJOMC64EMVJ","short_pith_number":"pith:R422EQFA","canonical_record":{"source":{"id":"1610.01188","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T20:29:15Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"19a5fa97bff66ca055bb51b376b683c0131c8ce868a32ed96612725da48e6af8","abstract_canon_sha256":"f1ddbdee6d40e4d263d86e9fe99f7da351a39403c7a137c29f5f1f8d5f90bb4b"},"schema_version":"1.0"},"canonical_sha256":"8f35a240a078f2935d094b982f708caa65c023246f59771361b488365b6d6a59","source":{"kind":"arxiv","id":"1610.01188","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.01188","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1610.01188v6","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.01188","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"R422EQFAPDZJ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"R422EQFAPDZJGXIJ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"R422EQFA","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:R422EQFAPDZJGXIJJOMC64EMVJ","target":"record","payload":{"canonical_record":{"source":{"id":"1610.01188","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T20:29:15Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"19a5fa97bff66ca055bb51b376b683c0131c8ce868a32ed96612725da48e6af8","abstract_canon_sha256":"f1ddbdee6d40e4d263d86e9fe99f7da351a39403c7a137c29f5f1f8d5f90bb4b"},"schema_version":"1.0"},"canonical_sha256":"8f35a240a078f2935d094b982f708caa65c023246f59771361b488365b6d6a59","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:34.867871Z","signature_b64":"9TmFrih/nBm5LrWWSnMxaE+AnM+5QQMkQfYAi75SF1XdRyjqZXEH5PFaNpeByAUq0WTcU/kVZpjBruyuO2QtCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8f35a240a078f2935d094b982f708caa65c023246f59771361b488365b6d6a59","last_reissued_at":"2026-05-17T23:55:34.867467Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:34.867467Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.01188","source_version":6,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:55:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZbMxSbyp9zmH8Q6NAobmHmaHx54T4V7GmmCfxLS8szyl92elo/tujf4qc72FHpuhsWg33MWjiUJ4vw0aJ+VDAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:50:13.529726Z"},"content_sha256":"2c94f178a491df665a84c8e325b1b07a9aa910aa7c37aa738568ba3e8f97fdf5","schema_version":"1.0","event_id":"sha256:2c94f178a491df665a84c8e325b1b07a9aa910aa7c37aa738568ba3e8f97fdf5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:R422EQFAPDZJGXIJJOMC64EMVJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-centric Dynamic Partial Order Reduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Andreas Pavlogiannis, Kapil Vaidya, Krishnendu Chatterjee, Marek Chalupa, Nishant Sinha","submitted_at":"2016-10-04T20:29:15Z","abstract_excerpt":"We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class.\n  We introduce a new equivalence o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.01188","kind":"arxiv","version":6},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:55:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2f6zBANt8wESzS1iDUxl1TByiw3qgNIXwpqJRemmM+rHthb3iMWxWNIxCJsfQa0pnrSdmrl43qIH12GWZoyZAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:50:13.530394Z"},"content_sha256":"bd38f0ebfaa70cd17520a280a71197c99d9da4a8144c1bcebea903e55f6ce473","schema_version":"1.0","event_id":"sha256:bd38f0ebfaa70cd17520a280a71197c99d9da4a8144c1bcebea903e55f6ce473"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R422EQFAPDZJGXIJJOMC64EMVJ/bundle.json","state_url":"https://pith.science/pith/R422EQFAPDZJGXIJJOMC64EMVJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R422EQFAPDZJGXIJJOMC64EMVJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-26T04:50:13Z","links":{"resolver":"https://pith.science/pith/R422EQFAPDZJGXIJJOMC64EMVJ","bundle":"https://pith.science/pith/R422EQFAPDZJGXIJJOMC64EMVJ/bundle.json","state":"https://pith.science/pith/R422EQFAPDZJGXIJJOMC64EMVJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R422EQFAPDZJGXIJJOMC64EMVJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:R422EQFAPDZJGXIJJOMC64EMVJ","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":"f1ddbdee6d40e4d263d86e9fe99f7da351a39403c7a137c29f5f1f8d5f90bb4b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T20:29:15Z","title_canon_sha256":"19a5fa97bff66ca055bb51b376b683c0131c8ce868a32ed96612725da48e6af8"},"schema_version":"1.0","source":{"id":"1610.01188","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.01188","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1610.01188v6","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.01188","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"R422EQFAPDZJ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"R422EQFAPDZJGXIJ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"R422EQFA","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:bd38f0ebfaa70cd17520a280a71197c99d9da4a8144c1bcebea903e55f6ce473","target":"graph","created_at":"2026-05-17T23:55:34Z","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":"We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class.\n  We introduce a new equivalence o","authors_text":"Andreas Pavlogiannis, Kapil Vaidya, Krishnendu Chatterjee, Marek Chalupa, Nishant Sinha","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T20:29:15Z","title":"Data-centric Dynamic Partial Order Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.01188","kind":"arxiv","version":6},"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:2c94f178a491df665a84c8e325b1b07a9aa910aa7c37aa738568ba3e8f97fdf5","target":"record","created_at":"2026-05-17T23:55:34Z","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":"f1ddbdee6d40e4d263d86e9fe99f7da351a39403c7a137c29f5f1f8d5f90bb4b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-04T20:29:15Z","title_canon_sha256":"19a5fa97bff66ca055bb51b376b683c0131c8ce868a32ed96612725da48e6af8"},"schema_version":"1.0","source":{"id":"1610.01188","kind":"arxiv","version":6}},"canonical_sha256":"8f35a240a078f2935d094b982f708caa65c023246f59771361b488365b6d6a59","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8f35a240a078f2935d094b982f708caa65c023246f59771361b488365b6d6a59","first_computed_at":"2026-05-17T23:55:34.867467Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:34.867467Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9TmFrih/nBm5LrWWSnMxaE+AnM+5QQMkQfYAi75SF1XdRyjqZXEH5PFaNpeByAUq0WTcU/kVZpjBruyuO2QtCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:34.867871Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.01188","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2c94f178a491df665a84c8e325b1b07a9aa910aa7c37aa738568ba3e8f97fdf5","sha256:bd38f0ebfaa70cd17520a280a71197c99d9da4a8144c1bcebea903e55f6ce473"],"state_sha256":"d2b4d856ad7155cfc193740ec52ac7ad8966a073a6239cbddd0b747516d5bf33"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sOGfrN82Qy7r5dfiFxofUwVYQOa2cedW0Wg8U5FS4lSL4FnDtfvTQGQljwrI9OaOveTm8Iqr1wFBj2cFvfNBBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T04:50:13.533765Z","bundle_sha256":"ff76c46a59e96ed38f6571c0c5a682dd359a7ee9678cc0de9560579e997a6194"}}