{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GKWOOYKUEGKKVR2XIWUIMXRYLJ","short_pith_number":"pith:GKWOOYKU","canonical_record":{"source":{"id":"1702.06704","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-22T08:34:54Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d7f45917bbfd5ca9848fb4f6bbb45b47a9a1f002dc48c78b008474b05085fb31","abstract_canon_sha256":"e89fb5b2eb9be67e37b2c61aa84385eaf5377ce553f7795ee823bc2fdecc7c76"},"schema_version":"1.0"},"canonical_sha256":"32ace761542194aac75745a8865e385a4835be194c1e89dd3a88acb7f05d9e35","source":{"kind":"arxiv","id":"1702.06704","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06704","created_at":"2026-05-18T00:45:25Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06704v2","created_at":"2026-05-18T00:45:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06704","created_at":"2026-05-18T00:45:25Z"},{"alias_kind":"pith_short_12","alias_value":"GKWOOYKUEGKK","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GKWOOYKUEGKKVR2X","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GKWOOYKU","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GKWOOYKUEGKKVR2XIWUIMXRYLJ","target":"record","payload":{"canonical_record":{"source":{"id":"1702.06704","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-22T08:34:54Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d7f45917bbfd5ca9848fb4f6bbb45b47a9a1f002dc48c78b008474b05085fb31","abstract_canon_sha256":"e89fb5b2eb9be67e37b2c61aa84385eaf5377ce553f7795ee823bc2fdecc7c76"},"schema_version":"1.0"},"canonical_sha256":"32ace761542194aac75745a8865e385a4835be194c1e89dd3a88acb7f05d9e35","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:25.640311Z","signature_b64":"iU929fsPWMh7jfDuGnoZRa6givq/Y1mzrjPbSw2GS7/zt/6ajykc/ffAOj6FXFHSR76nS6G3PgrqSUxLitGHCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32ace761542194aac75745a8865e385a4835be194c1e89dd3a88acb7f05d9e35","last_reissued_at":"2026-05-18T00:45:25.639673Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:25.639673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.06704","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-18T00:45:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v+KeVhTo3ILKhmzDqT79LliUyVnaActjIVsHgYwqJxA+7KLx01a7f9NyLnHzHvNu4rXfcWeEA57Y2SEqB7yOAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:04:57.113210Z"},"content_sha256":"ff83b01914b950fd73414e3cba9a2cf7ce368867bed7fcf685e789c58a2a5e3c","schema_version":"1.0","event_id":"sha256:ff83b01914b950fd73414e3cba9a2cf7ce368867bed7fcf685e789c58a2a5e3c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GKWOOYKUEGKKVR2XIWUIMXRYLJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Florian Furbach, Hern\\'an Ponce-de-Le\\'on, Keijo Heljanko, Roland Meyer","submitted_at":"2017-02-22T08:34:54Z","abstract_excerpt":"We present Porthos, the first tool that discovers porting bugs in performance-critical code. Porthos takes as input a program and the memory models of the source architecture for which the program has been developed and the target model to which it is ported. If the code is not portable, Porthos finds a bug in the form of an unexpected execution - an execution that is consistent with the target but inconsistent with the source memory model. Technically, Porthos implements a bounded model checking method that reduces the portability analysis problem to satisfiability modulo theories (SMT). Ther"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06704","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-18T00:45:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dk1dO0EansHO4rzem2dsxexiVK2Rnmb9BWSLz3BvEz5Ko8WZFY3AsEinLb+YOTRUDrc3C9hGckgu1p8KSVd9DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:04:57.113625Z"},"content_sha256":"131c4fc5c157f704d2530a0bc723b54bfa9551a2d095e4784904dbb982631908","schema_version":"1.0","event_id":"sha256:131c4fc5c157f704d2530a0bc723b54bfa9551a2d095e4784904dbb982631908"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GKWOOYKUEGKKVR2XIWUIMXRYLJ/bundle.json","state_url":"https://pith.science/pith/GKWOOYKUEGKKVR2XIWUIMXRYLJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GKWOOYKUEGKKVR2XIWUIMXRYLJ/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-02T21:04:57Z","links":{"resolver":"https://pith.science/pith/GKWOOYKUEGKKVR2XIWUIMXRYLJ","bundle":"https://pith.science/pith/GKWOOYKUEGKKVR2XIWUIMXRYLJ/bundle.json","state":"https://pith.science/pith/GKWOOYKUEGKKVR2XIWUIMXRYLJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GKWOOYKUEGKKVR2XIWUIMXRYLJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GKWOOYKUEGKKVR2XIWUIMXRYLJ","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":"e89fb5b2eb9be67e37b2c61aa84385eaf5377ce553f7795ee823bc2fdecc7c76","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-22T08:34:54Z","title_canon_sha256":"d7f45917bbfd5ca9848fb4f6bbb45b47a9a1f002dc48c78b008474b05085fb31"},"schema_version":"1.0","source":{"id":"1702.06704","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06704","created_at":"2026-05-18T00:45:25Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06704v2","created_at":"2026-05-18T00:45:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06704","created_at":"2026-05-18T00:45:25Z"},{"alias_kind":"pith_short_12","alias_value":"GKWOOYKUEGKK","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GKWOOYKUEGKKVR2X","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GKWOOYKU","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:131c4fc5c157f704d2530a0bc723b54bfa9551a2d095e4784904dbb982631908","target":"graph","created_at":"2026-05-18T00:45:25Z","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 Porthos, the first tool that discovers porting bugs in performance-critical code. Porthos takes as input a program and the memory models of the source architecture for which the program has been developed and the target model to which it is ported. If the code is not portable, Porthos finds a bug in the form of an unexpected execution - an execution that is consistent with the target but inconsistent with the source memory model. Technically, Porthos implements a bounded model checking method that reduces the portability analysis problem to satisfiability modulo theories (SMT). Ther","authors_text":"Florian Furbach, Hern\\'an Ponce-de-Le\\'on, Keijo Heljanko, Roland Meyer","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-22T08:34:54Z","title":"Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06704","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:ff83b01914b950fd73414e3cba9a2cf7ce368867bed7fcf685e789c58a2a5e3c","target":"record","created_at":"2026-05-18T00:45:25Z","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":"e89fb5b2eb9be67e37b2c61aa84385eaf5377ce553f7795ee823bc2fdecc7c76","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-22T08:34:54Z","title_canon_sha256":"d7f45917bbfd5ca9848fb4f6bbb45b47a9a1f002dc48c78b008474b05085fb31"},"schema_version":"1.0","source":{"id":"1702.06704","kind":"arxiv","version":2}},"canonical_sha256":"32ace761542194aac75745a8865e385a4835be194c1e89dd3a88acb7f05d9e35","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"32ace761542194aac75745a8865e385a4835be194c1e89dd3a88acb7f05d9e35","first_computed_at":"2026-05-18T00:45:25.639673Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:25.639673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iU929fsPWMh7jfDuGnoZRa6givq/Y1mzrjPbSw2GS7/zt/6ajykc/ffAOj6FXFHSR76nS6G3PgrqSUxLitGHCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:25.640311Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.06704","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff83b01914b950fd73414e3cba9a2cf7ce368867bed7fcf685e789c58a2a5e3c","sha256:131c4fc5c157f704d2530a0bc723b54bfa9551a2d095e4784904dbb982631908"],"state_sha256":"24792ca1d1749a1abe96eaf6841b3f09d417304c9527528a87f6108e2f1ad641"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F9QpmceNtbYWGZMB8PnsDnB+j2ldK9gR+etaMpDuJf2cM657U+TlBGquTh8DYtuGp8l3Q8cwiVnuhuT+/CGLDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T21:04:57.115936Z","bundle_sha256":"22d865486aaf692abb58d93530317279ae6010b8aeb3a11af16ec68d517145d8"}}