{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:G6IQWXIKSMNOFBVFZKHWDTQ2XH","short_pith_number":"pith:G6IQWXIK","canonical_record":{"source":{"id":"1602.03755","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-02-11T14:44:44Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"80754f24b40aa7ddfc0bd48add6426a78a19cd0acbe69be9b92bb10c1b38941e","abstract_canon_sha256":"cf59595f0a68d13005e62621f8c66bf17b3567d19515932be43424aa71a21d44"},"schema_version":"1.0"},"canonical_sha256":"37910b5d0a931ae286a5ca8f61ce1ab9d7feb2577b4a1c39ec675864224fc683","source":{"kind":"arxiv","id":"1602.03755","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03755","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03755v2","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03755","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"pith_short_12","alias_value":"G6IQWXIKSMNO","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"G6IQWXIKSMNOFBVF","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"G6IQWXIK","created_at":"2026-05-18T12:30:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:G6IQWXIKSMNOFBVFZKHWDTQ2XH","target":"record","payload":{"canonical_record":{"source":{"id":"1602.03755","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-02-11T14:44:44Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"80754f24b40aa7ddfc0bd48add6426a78a19cd0acbe69be9b92bb10c1b38941e","abstract_canon_sha256":"cf59595f0a68d13005e62621f8c66bf17b3567d19515932be43424aa71a21d44"},"schema_version":"1.0"},"canonical_sha256":"37910b5d0a931ae286a5ca8f61ce1ab9d7feb2577b4a1c39ec675864224fc683","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:59.390127Z","signature_b64":"GVbs3hD86h2yqigg1iZW4MXiMTcsVOk+FtwnimxQ4J/QxfG4MdpXjAcGLpzXNE5sThjnM/bjlZSABkJQhNbSBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37910b5d0a931ae286a5ca8f61ce1ab9d7feb2577b4a1c39ec675864224fc683","last_reissued_at":"2026-05-18T01:10:59.389635Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:59.389635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.03755","source_version":2,"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-18T01:10:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tVO7LE7ik+x6UrwfDzdhLPw94SQztrjq8LDliSqqP0CfsbiR6xa3Uc12axvcWgB3fCCdXvDhvR5vmbsED+L1BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T23:08:19.968454Z"},"content_sha256":"12453af128727b540f6bad25d008bb8a458522d37fa39c2f417c94253fbc2cf9","schema_version":"1.0","event_id":"sha256:12453af128727b540f6bad25d008bb8a458522d37fa39c2f417c94253fbc2cf9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:G6IQWXIKSMNOFBVFZKHWDTQ2XH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hitting Families of Schedules for Asynchronous Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.DM","authors_text":"Dmitry Chistikov, Filip Niksic, Rupak Majumdar","submitted_at":"2016-02-11T14:44:44Z","abstract_excerpt":"We consider the following basic task in the testing of concurrent systems. The input to the task is a partial order of events, which models actions performed on or by the system and specifies ordering constraints between them. The task is to determine if some scheduling of these events can result in a bug. The number of schedules to be explored can, in general, be exponential.\n  Empirically, many bugs in concurrent programs have been observed to have small bug depth; that is, these bugs are exposed by every schedule that orders $d$ specific events in a particular way, irrespective of how the o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03755","kind":"arxiv","version":2},"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-18T01:10:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vWD5J0rY1rOxzM8s9sNu0FXhS8Cv6vmyEUTFHQNCNqSmWNqFDew0EGZGgJk9KPutteAiN69Ey7f2qPFzcLmHDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T23:08:19.969141Z"},"content_sha256":"7358405a98d8ec1eace3ab7bbdd3857567e4312f0ab3fc40c1d3494a1e37a93b","schema_version":"1.0","event_id":"sha256:7358405a98d8ec1eace3ab7bbdd3857567e4312f0ab3fc40c1d3494a1e37a93b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G6IQWXIKSMNOFBVFZKHWDTQ2XH/bundle.json","state_url":"https://pith.science/pith/G6IQWXIKSMNOFBVFZKHWDTQ2XH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G6IQWXIKSMNOFBVFZKHWDTQ2XH/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-06-07T23:08:19Z","links":{"resolver":"https://pith.science/pith/G6IQWXIKSMNOFBVFZKHWDTQ2XH","bundle":"https://pith.science/pith/G6IQWXIKSMNOFBVFZKHWDTQ2XH/bundle.json","state":"https://pith.science/pith/G6IQWXIKSMNOFBVFZKHWDTQ2XH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G6IQWXIKSMNOFBVFZKHWDTQ2XH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:G6IQWXIKSMNOFBVFZKHWDTQ2XH","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":"cf59595f0a68d13005e62621f8c66bf17b3567d19515932be43424aa71a21d44","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-02-11T14:44:44Z","title_canon_sha256":"80754f24b40aa7ddfc0bd48add6426a78a19cd0acbe69be9b92bb10c1b38941e"},"schema_version":"1.0","source":{"id":"1602.03755","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03755","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03755v2","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03755","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"pith_short_12","alias_value":"G6IQWXIKSMNO","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"G6IQWXIKSMNOFBVF","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"G6IQWXIK","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:7358405a98d8ec1eace3ab7bbdd3857567e4312f0ab3fc40c1d3494a1e37a93b","target":"graph","created_at":"2026-05-18T01:10:59Z","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 consider the following basic task in the testing of concurrent systems. The input to the task is a partial order of events, which models actions performed on or by the system and specifies ordering constraints between them. The task is to determine if some scheduling of these events can result in a bug. The number of schedules to be explored can, in general, be exponential.\n  Empirically, many bugs in concurrent programs have been observed to have small bug depth; that is, these bugs are exposed by every schedule that orders $d$ specific events in a particular way, irrespective of how the o","authors_text":"Dmitry Chistikov, Filip Niksic, Rupak Majumdar","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-02-11T14:44:44Z","title":"Hitting Families of Schedules for Asynchronous Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03755","kind":"arxiv","version":2},"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:12453af128727b540f6bad25d008bb8a458522d37fa39c2f417c94253fbc2cf9","target":"record","created_at":"2026-05-18T01:10:59Z","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":"cf59595f0a68d13005e62621f8c66bf17b3567d19515932be43424aa71a21d44","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-02-11T14:44:44Z","title_canon_sha256":"80754f24b40aa7ddfc0bd48add6426a78a19cd0acbe69be9b92bb10c1b38941e"},"schema_version":"1.0","source":{"id":"1602.03755","kind":"arxiv","version":2}},"canonical_sha256":"37910b5d0a931ae286a5ca8f61ce1ab9d7feb2577b4a1c39ec675864224fc683","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37910b5d0a931ae286a5ca8f61ce1ab9d7feb2577b4a1c39ec675864224fc683","first_computed_at":"2026-05-18T01:10:59.389635Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:59.389635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GVbs3hD86h2yqigg1iZW4MXiMTcsVOk+FtwnimxQ4J/QxfG4MdpXjAcGLpzXNE5sThjnM/bjlZSABkJQhNbSBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:59.390127Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.03755","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:12453af128727b540f6bad25d008bb8a458522d37fa39c2f417c94253fbc2cf9","sha256:7358405a98d8ec1eace3ab7bbdd3857567e4312f0ab3fc40c1d3494a1e37a93b"],"state_sha256":"062be8405dd0fbfa0b36833a4bd83d10a6b83f12bdbc25edaf798afe1ec40cc1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JihvfUzeh0J3Moy4ITe0RNUon8QSpIV5cPMaeTXrCkqW9BrvKyFi5+GNa1yGmLbEtIJH2QZfAGI8+Y2TwJwxBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T23:08:19.972710Z","bundle_sha256":"a8327f6a15ae035f09ef8150c141014fea8821bb14448e8f633b91b926d4d8cc"}}