{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:M7XROKT5YWJZDVPBLCVYYM6HCE","short_pith_number":"pith:M7XROKT5","canonical_record":{"source":{"id":"1701.07123","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-25T01:20:34Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"30c65f70f2f2eefdfd6ab6dff99550ab4bf294b9a2e1547c248de9be18b57c71","abstract_canon_sha256":"b78e29c522b92b4a1dbeb49a4ede22b76f6423ff63a37376ecdc6d84f9cd6c04"},"schema_version":"1.0"},"canonical_sha256":"67ef172a7dc59391d5e158ab8c33c71135412ac6c8ab5cd767980d612b4fc919","source":{"kind":"arxiv","id":"1701.07123","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.07123","created_at":"2026-05-18T00:52:07Z"},{"alias_kind":"arxiv_version","alias_value":"1701.07123v1","created_at":"2026-05-18T00:52:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.07123","created_at":"2026-05-18T00:52:07Z"},{"alias_kind":"pith_short_12","alias_value":"M7XROKT5YWJZ","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"M7XROKT5YWJZDVPB","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"M7XROKT5","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:M7XROKT5YWJZDVPBLCVYYM6HCE","target":"record","payload":{"canonical_record":{"source":{"id":"1701.07123","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-25T01:20:34Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"30c65f70f2f2eefdfd6ab6dff99550ab4bf294b9a2e1547c248de9be18b57c71","abstract_canon_sha256":"b78e29c522b92b4a1dbeb49a4ede22b76f6423ff63a37376ecdc6d84f9cd6c04"},"schema_version":"1.0"},"canonical_sha256":"67ef172a7dc59391d5e158ab8c33c71135412ac6c8ab5cd767980d612b4fc919","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:07.437153Z","signature_b64":"UcNdTaKApotoOggbIm7jXGTTYU1oP3WTNGnoqb4XUDrtZdUNqG673vnoQ5TYgl7IurYjfxPs2elPc/xLtmIyBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"67ef172a7dc59391d5e158ab8c33c71135412ac6c8ab5cd767980d612b4fc919","last_reissued_at":"2026-05-18T00:52:07.436620Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:07.436620Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.07123","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-18T00:52:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bDpcVN5FVXeCx/FwZsxtK/cEzwfyRc+WyJtSb2tEQWTkO0NfqsupK+topBqQ4o4+DeVX7UuTREzpPBFVkNzeAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T21:03:50.911455Z"},"content_sha256":"eff0cc062725986c1dd453b1f4050e27f48ad1752e32bea8c78f997b76229735","schema_version":"1.0","event_id":"sha256:eff0cc062725986c1dd453b1f4050e27f48ad1752e32bea8c78f997b76229735"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:M7XROKT5YWJZDVPBLCVYYM6HCE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.PL","authors_text":"Guillermo Vigueras (IMDEA Software Institute), Julio Mari\\~no (Universidad Polit\\'ecnica de Madrid), Manuel Carro (IMDEA Software Institute, Salvador Tamarit (Universidad Polit\\'ecnica de Madrid), Universidad Polit\\'ecnica de Madrid)","submitted_at":"2017-01-25T01:20:34Z","abstract_excerpt":"The current trends in next-generation exascale systems go towards integrating a wide range of specialized (co-)processors into traditional supercomputers. Due to the efficiency of heterogeneous systems in terms of Watts and FLOPS per surface unit, opening the access of heterogeneous platforms to a wider range of users is an important problem to be tackled. However, heterogeneous platforms limit the portability of the applications and increase development complexity due to the programming skills required. Program transformation can help make programming heterogeneous systems easier by defining "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.07123","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-18T00:52:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mq3Qe5NIff37Y4rgZVXQyj/E0iO+h+FaHe9qUVnd7eZYtYTtYAme/3reXM44n136/VcUbz/pLu2XjvtmYsMADQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T21:03:50.911804Z"},"content_sha256":"e801b70b3ab2dc62be41033fc25330e604b9b70d708ceb6f9ee4cac19dd7c898","schema_version":"1.0","event_id":"sha256:e801b70b3ab2dc62be41033fc25330e604b9b70d708ceb6f9ee4cac19dd7c898"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M7XROKT5YWJZDVPBLCVYYM6HCE/bundle.json","state_url":"https://pith.science/pith/M7XROKT5YWJZDVPBLCVYYM6HCE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M7XROKT5YWJZDVPBLCVYYM6HCE/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-23T21:03:50Z","links":{"resolver":"https://pith.science/pith/M7XROKT5YWJZDVPBLCVYYM6HCE","bundle":"https://pith.science/pith/M7XROKT5YWJZDVPBLCVYYM6HCE/bundle.json","state":"https://pith.science/pith/M7XROKT5YWJZDVPBLCVYYM6HCE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M7XROKT5YWJZDVPBLCVYYM6HCE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:M7XROKT5YWJZDVPBLCVYYM6HCE","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":"b78e29c522b92b4a1dbeb49a4ede22b76f6423ff63a37376ecdc6d84f9cd6c04","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-25T01:20:34Z","title_canon_sha256":"30c65f70f2f2eefdfd6ab6dff99550ab4bf294b9a2e1547c248de9be18b57c71"},"schema_version":"1.0","source":{"id":"1701.07123","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.07123","created_at":"2026-05-18T00:52:07Z"},{"alias_kind":"arxiv_version","alias_value":"1701.07123v1","created_at":"2026-05-18T00:52:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.07123","created_at":"2026-05-18T00:52:07Z"},{"alias_kind":"pith_short_12","alias_value":"M7XROKT5YWJZ","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"M7XROKT5YWJZDVPB","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"M7XROKT5","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:e801b70b3ab2dc62be41033fc25330e604b9b70d708ceb6f9ee4cac19dd7c898","target":"graph","created_at":"2026-05-18T00:52:07Z","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":"The current trends in next-generation exascale systems go towards integrating a wide range of specialized (co-)processors into traditional supercomputers. Due to the efficiency of heterogeneous systems in terms of Watts and FLOPS per surface unit, opening the access of heterogeneous platforms to a wider range of users is an important problem to be tackled. However, heterogeneous platforms limit the portability of the applications and increase development complexity due to the programming skills required. Program transformation can help make programming heterogeneous systems easier by defining ","authors_text":"Guillermo Vigueras (IMDEA Software Institute), Julio Mari\\~no (Universidad Polit\\'ecnica de Madrid), Manuel Carro (IMDEA Software Institute, Salvador Tamarit (Universidad Polit\\'ecnica de Madrid), Universidad Polit\\'ecnica de Madrid)","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-25T01:20:34Z","title":"Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.07123","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:eff0cc062725986c1dd453b1f4050e27f48ad1752e32bea8c78f997b76229735","target":"record","created_at":"2026-05-18T00:52:07Z","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":"b78e29c522b92b4a1dbeb49a4ede22b76f6423ff63a37376ecdc6d84f9cd6c04","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-25T01:20:34Z","title_canon_sha256":"30c65f70f2f2eefdfd6ab6dff99550ab4bf294b9a2e1547c248de9be18b57c71"},"schema_version":"1.0","source":{"id":"1701.07123","kind":"arxiv","version":1}},"canonical_sha256":"67ef172a7dc59391d5e158ab8c33c71135412ac6c8ab5cd767980d612b4fc919","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"67ef172a7dc59391d5e158ab8c33c71135412ac6c8ab5cd767980d612b4fc919","first_computed_at":"2026-05-18T00:52:07.436620Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:07.436620Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UcNdTaKApotoOggbIm7jXGTTYU1oP3WTNGnoqb4XUDrtZdUNqG673vnoQ5TYgl7IurYjfxPs2elPc/xLtmIyBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:07.437153Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.07123","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eff0cc062725986c1dd453b1f4050e27f48ad1752e32bea8c78f997b76229735","sha256:e801b70b3ab2dc62be41033fc25330e604b9b70d708ceb6f9ee4cac19dd7c898"],"state_sha256":"dada3090bc075922886370d13fde33c7b796998750713f8e0a4a015d6d819b2f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bpei4rR+KEkLcx4wdJ70gjSji05rbTd8tt0cjN+VrO4woBCOjJgLGTiIrRSgAM/GHazmm4ZQoIs6HZhZlCQQAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T21:03:50.913820Z","bundle_sha256":"5e35237de37c7faa9afefd449f257d47ed89a5ba8ff42eef075d31a61db86cc6"}}