{"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"}