{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:QJCU4OIYUNUWRXCCIPZC65JPKE","short_pith_number":"pith:QJCU4OIY","canonical_record":{"source":{"id":"1304.5197","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-04-18T17:34:38Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"eb8adbb08e8ffedf43ddee49002e2b1230ace7c6af497729b0835accf0415b6b","abstract_canon_sha256":"c965cc2338881a10a3307145d6a79d154a669b71ce04c3e4b598f3a2016b6051"},"schema_version":"1.0"},"canonical_sha256":"82454e3918a36968dc4243f22f752f51278fb0418d8b822181691bcc257b0e66","source":{"kind":"arxiv","id":"1304.5197","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.5197","created_at":"2026-05-18T03:27:00Z"},{"alias_kind":"arxiv_version","alias_value":"1304.5197v1","created_at":"2026-05-18T03:27:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.5197","created_at":"2026-05-18T03:27:00Z"},{"alias_kind":"pith_short_12","alias_value":"QJCU4OIYUNUW","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"QJCU4OIYUNUWRXCC","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"QJCU4OIY","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:QJCU4OIYUNUWRXCCIPZC65JPKE","target":"record","payload":{"canonical_record":{"source":{"id":"1304.5197","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-04-18T17:34:38Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"eb8adbb08e8ffedf43ddee49002e2b1230ace7c6af497729b0835accf0415b6b","abstract_canon_sha256":"c965cc2338881a10a3307145d6a79d154a669b71ce04c3e4b598f3a2016b6051"},"schema_version":"1.0"},"canonical_sha256":"82454e3918a36968dc4243f22f752f51278fb0418d8b822181691bcc257b0e66","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:00.719860Z","signature_b64":"ALhsYZRO/rgEg4FvYS3QRBauRNwiCpKzg3Nvm/Jdrxig0nUlQIiAlGibJ+DN1ddSRz9F1ZHpcKuI33o4vWD1CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"82454e3918a36968dc4243f22f752f51278fb0418d8b822181691bcc257b0e66","last_reissued_at":"2026-05-18T03:27:00.719200Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:00.719200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.5197","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-18T03:27:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qB/Q01Bdf0yQR6C0qVX7Hlx2LJEc9EOtRo1UKfJU6zMbHejj6o4FX4sHTMGs6AQ9E+uCp70Lsnr3DoDo7kOHDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:07:48.476255Z"},"content_sha256":"8950cf6c269c58bc0693f5728d7198f73e7cdc11a7153a379d7c2cba33fe4f9f","schema_version":"1.0","event_id":"sha256:8950cf6c269c58bc0693f5728d7198f73e7cdc11a7153a379d7c2cba33fe4f9f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:QJCU4OIYUNUWRXCCIPZC65JPKE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Ball-Larus Path Profiling Across Multiple Loop iterations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.PL","authors_text":"Camil Demetrescu, Daniele Cono D'Elia, Irene Finocchi","submitted_at":"2013-04-18T17:34:38Z","abstract_excerpt":"Identifying the hottest paths in the control flow graph of a routine can direct optimizations to portions of the code where most resources are consumed. This powerful methodology, called path profiling, was introduced by Ball and Larus in the mid 90s and has received considerable attention in the last 15 years for its practical relevance. A shortcoming of Ball-Larus path profiling was the inability to profile cyclic paths, making it difficult to mine interesting execution patterns that span multiple loop iterations. Previous results, based on rather complex algorithms, have attempted to circum"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.5197","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-18T03:27:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HPTcxce1zmWfTKMShGqkzwKQL9JoDPUVaxwM/bSJvIzXo96hcde1mFSKv0/Suf/JHKPoIqX1TK9TKElaHxXECg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:07:48.476616Z"},"content_sha256":"021ebfb326522196d5d4ed6cf4c578a63a9a71a198b8e0f4fe2847b0910065db","schema_version":"1.0","event_id":"sha256:021ebfb326522196d5d4ed6cf4c578a63a9a71a198b8e0f4fe2847b0910065db"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QJCU4OIYUNUWRXCCIPZC65JPKE/bundle.json","state_url":"https://pith.science/pith/QJCU4OIYUNUWRXCCIPZC65JPKE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QJCU4OIYUNUWRXCCIPZC65JPKE/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-02T23:07:48Z","links":{"resolver":"https://pith.science/pith/QJCU4OIYUNUWRXCCIPZC65JPKE","bundle":"https://pith.science/pith/QJCU4OIYUNUWRXCCIPZC65JPKE/bundle.json","state":"https://pith.science/pith/QJCU4OIYUNUWRXCCIPZC65JPKE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QJCU4OIYUNUWRXCCIPZC65JPKE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:QJCU4OIYUNUWRXCCIPZC65JPKE","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":"c965cc2338881a10a3307145d6a79d154a669b71ce04c3e4b598f3a2016b6051","cross_cats_sorted":["cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-04-18T17:34:38Z","title_canon_sha256":"eb8adbb08e8ffedf43ddee49002e2b1230ace7c6af497729b0835accf0415b6b"},"schema_version":"1.0","source":{"id":"1304.5197","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.5197","created_at":"2026-05-18T03:27:00Z"},{"alias_kind":"arxiv_version","alias_value":"1304.5197v1","created_at":"2026-05-18T03:27:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.5197","created_at":"2026-05-18T03:27:00Z"},{"alias_kind":"pith_short_12","alias_value":"QJCU4OIYUNUW","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"QJCU4OIYUNUWRXCC","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"QJCU4OIY","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:021ebfb326522196d5d4ed6cf4c578a63a9a71a198b8e0f4fe2847b0910065db","target":"graph","created_at":"2026-05-18T03:27:00Z","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":"Identifying the hottest paths in the control flow graph of a routine can direct optimizations to portions of the code where most resources are consumed. This powerful methodology, called path profiling, was introduced by Ball and Larus in the mid 90s and has received considerable attention in the last 15 years for its practical relevance. A shortcoming of Ball-Larus path profiling was the inability to profile cyclic paths, making it difficult to mine interesting execution patterns that span multiple loop iterations. Previous results, based on rather complex algorithms, have attempted to circum","authors_text":"Camil Demetrescu, Daniele Cono D'Elia, Irene Finocchi","cross_cats":["cs.PF"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-04-18T17:34:38Z","title":"Ball-Larus Path Profiling Across Multiple Loop iterations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.5197","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:8950cf6c269c58bc0693f5728d7198f73e7cdc11a7153a379d7c2cba33fe4f9f","target":"record","created_at":"2026-05-18T03:27:00Z","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":"c965cc2338881a10a3307145d6a79d154a669b71ce04c3e4b598f3a2016b6051","cross_cats_sorted":["cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-04-18T17:34:38Z","title_canon_sha256":"eb8adbb08e8ffedf43ddee49002e2b1230ace7c6af497729b0835accf0415b6b"},"schema_version":"1.0","source":{"id":"1304.5197","kind":"arxiv","version":1}},"canonical_sha256":"82454e3918a36968dc4243f22f752f51278fb0418d8b822181691bcc257b0e66","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"82454e3918a36968dc4243f22f752f51278fb0418d8b822181691bcc257b0e66","first_computed_at":"2026-05-18T03:27:00.719200Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:00.719200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ALhsYZRO/rgEg4FvYS3QRBauRNwiCpKzg3Nvm/Jdrxig0nUlQIiAlGibJ+DN1ddSRz9F1ZHpcKuI33o4vWD1CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:00.719860Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.5197","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8950cf6c269c58bc0693f5728d7198f73e7cdc11a7153a379d7c2cba33fe4f9f","sha256:021ebfb326522196d5d4ed6cf4c578a63a9a71a198b8e0f4fe2847b0910065db"],"state_sha256":"f625664dfff42737f0159de8f4cf6faf015d05fb5c13ff6ea6e6fe50135c10a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RqsKIFH0w/wJNV+f9o670AAD/Whvvs/Ykw6Cu69JxwUTQr2uIE/jZQm2QshZsDQFkJJNHp9hOiby3QGovCBbAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:07:48.478592Z","bundle_sha256":"70dfb49c31a66be18461574d080f5ef36ea842c778eb3df9e705d518e950b412"}}