{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:NQ7QT7LZSTIUOFUGOVLTPKYECP","short_pith_number":"pith:NQ7QT7LZ","canonical_record":{"source":{"id":"1608.06171","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-22T14:09:33Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"088758c037b200dfd2a34918cb986d4bd29a88a93b47e8f49f1bfe801746adcf","abstract_canon_sha256":"c650634c323280d9ad8b3d5e392af03a254f356f4d3dcb93ebf1ee40232dd80c"},"schema_version":"1.0"},"canonical_sha256":"6c3f09fd7994d1471686755737ab0413ef330021699eb77c14d601d9ddcc7180","source":{"kind":"arxiv","id":"1608.06171","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06171","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06171v1","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06171","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"pith_short_12","alias_value":"NQ7QT7LZSTIU","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"NQ7QT7LZSTIUOFUG","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"NQ7QT7LZ","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:NQ7QT7LZSTIUOFUGOVLTPKYECP","target":"record","payload":{"canonical_record":{"source":{"id":"1608.06171","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-22T14:09:33Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"088758c037b200dfd2a34918cb986d4bd29a88a93b47e8f49f1bfe801746adcf","abstract_canon_sha256":"c650634c323280d9ad8b3d5e392af03a254f356f4d3dcb93ebf1ee40232dd80c"},"schema_version":"1.0"},"canonical_sha256":"6c3f09fd7994d1471686755737ab0413ef330021699eb77c14d601d9ddcc7180","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:22.069234Z","signature_b64":"ya6GpkRXd2MPB5d9/ikQpSDOZj+6bjCWL11YYkv48Bf9rr7WKXEa+M6ZQsRnGk2AjIEeyP9DHUsjoHRtV1KgAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c3f09fd7994d1471686755737ab0413ef330021699eb77c14d601d9ddcc7180","last_reissued_at":"2026-05-18T01:08:22.068685Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:22.068685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.06171","source_version":1,"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:08:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s47M6M+jE75sz+Y3SfqQE77PtfL2JibJbspFjfSq/Cl/y5HHOUMeMwn7/QvSGFHTDxjulfux/UcHI9LcuG36DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T14:17:04.245112Z"},"content_sha256":"4a6d908bc6aa2af06a85f7c8280458d1af58c6026ea0dc9e8ec59bab7387b924","schema_version":"1.0","event_id":"sha256:4a6d908bc6aa2af06a85f7c8280458d1af58c6026ea0dc9e8ec59bab7387b924"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:NQ7QT7LZSTIUOFUGOVLTPKYECP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MISO: An intermediate language to express parallel and dependable programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.DC","authors_text":"Alcides Fonseca, Raul Barbosa","submitted_at":"2016-08-22T14:09:33Z","abstract_excerpt":"One way to write fast programs is to explore the potential parallelism and take advantage of the high number of cores available in microprocessors. This can be achieved by manually specifying which code executes on which thread, by using compiler parallelization hints (such as OpenMP or Cilk), or by using a parallel programming language (such as X10, Chapel or Aeminium. Regardless of the approach, all of these programs are compiled to an intermediate lower-level language that is sequential, thus preventing the backend compiler from optimizing the program and observing its parallel nature. This"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06171","kind":"arxiv","version":1},"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:08:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wV5nYEb/akkv3acIFCLhConalS5lMe1xJQhyqoCq4v6yjbC++5jOm2FK0+lcLYp1z4MfJq75rZqysaE3sDUpAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T14:17:04.245862Z"},"content_sha256":"97e57109e3c3bfd0a336bd13a4543f400fbf887ccc4153e41a59edbc164e1015","schema_version":"1.0","event_id":"sha256:97e57109e3c3bfd0a336bd13a4543f400fbf887ccc4153e41a59edbc164e1015"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NQ7QT7LZSTIUOFUGOVLTPKYECP/bundle.json","state_url":"https://pith.science/pith/NQ7QT7LZSTIUOFUGOVLTPKYECP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NQ7QT7LZSTIUOFUGOVLTPKYECP/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-08-05T14:17:04Z","links":{"resolver":"https://pith.science/pith/NQ7QT7LZSTIUOFUGOVLTPKYECP","bundle":"https://pith.science/pith/NQ7QT7LZSTIUOFUGOVLTPKYECP/bundle.json","state":"https://pith.science/pith/NQ7QT7LZSTIUOFUGOVLTPKYECP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NQ7QT7LZSTIUOFUGOVLTPKYECP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:NQ7QT7LZSTIUOFUGOVLTPKYECP","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":"c650634c323280d9ad8b3d5e392af03a254f356f4d3dcb93ebf1ee40232dd80c","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-22T14:09:33Z","title_canon_sha256":"088758c037b200dfd2a34918cb986d4bd29a88a93b47e8f49f1bfe801746adcf"},"schema_version":"1.0","source":{"id":"1608.06171","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06171","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06171v1","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06171","created_at":"2026-05-18T01:08:22Z"},{"alias_kind":"pith_short_12","alias_value":"NQ7QT7LZSTIU","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"NQ7QT7LZSTIUOFUG","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"NQ7QT7LZ","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:97e57109e3c3bfd0a336bd13a4543f400fbf887ccc4153e41a59edbc164e1015","target":"graph","created_at":"2026-05-18T01:08:22Z","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":"One way to write fast programs is to explore the potential parallelism and take advantage of the high number of cores available in microprocessors. This can be achieved by manually specifying which code executes on which thread, by using compiler parallelization hints (such as OpenMP or Cilk), or by using a parallel programming language (such as X10, Chapel or Aeminium. Regardless of the approach, all of these programs are compiled to an intermediate lower-level language that is sequential, thus preventing the backend compiler from optimizing the program and observing its parallel nature. This","authors_text":"Alcides Fonseca, Raul Barbosa","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-22T14:09:33Z","title":"MISO: An intermediate language to express parallel and dependable programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06171","kind":"arxiv","version":1},"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:4a6d908bc6aa2af06a85f7c8280458d1af58c6026ea0dc9e8ec59bab7387b924","target":"record","created_at":"2026-05-18T01:08:22Z","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":"c650634c323280d9ad8b3d5e392af03a254f356f4d3dcb93ebf1ee40232dd80c","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-22T14:09:33Z","title_canon_sha256":"088758c037b200dfd2a34918cb986d4bd29a88a93b47e8f49f1bfe801746adcf"},"schema_version":"1.0","source":{"id":"1608.06171","kind":"arxiv","version":1}},"canonical_sha256":"6c3f09fd7994d1471686755737ab0413ef330021699eb77c14d601d9ddcc7180","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6c3f09fd7994d1471686755737ab0413ef330021699eb77c14d601d9ddcc7180","first_computed_at":"2026-05-18T01:08:22.068685Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:22.068685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ya6GpkRXd2MPB5d9/ikQpSDOZj+6bjCWL11YYkv48Bf9rr7WKXEa+M6ZQsRnGk2AjIEeyP9DHUsjoHRtV1KgAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:22.069234Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.06171","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a6d908bc6aa2af06a85f7c8280458d1af58c6026ea0dc9e8ec59bab7387b924","sha256:97e57109e3c3bfd0a336bd13a4543f400fbf887ccc4153e41a59edbc164e1015"],"state_sha256":"1e3f391defeb9b51482df9d2a9bc2167f2a3133ac6b66b20643b6368a88269c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bdBAc0r0YOzXjuXEhubvj3O5sGuOX3UU4dCZqPPkg0tucFJevzuxjmub+vMmKtGpDWX0KW1Pwe5s9VlhV/kXDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T14:17:04.254014Z","bundle_sha256":"ff06258a573156011303350efb325ab00a800677bb2dadd63cf1f03ede44688b"}}