{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:J5F5HN4JKYTI2YH37TAQOUS4S5","short_pith_number":"pith:J5F5HN4J","canonical_record":{"source":{"id":"2403.08056","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-03-12T20:04:09Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"586bacc84f5baae542869e709f7833cc233981ab12a0858e71220da24ff3128e","abstract_canon_sha256":"316b2f3ad5bd099944aee6bd0d6c55ee3e7abc3dcac3495083557a14dc6dbea8"},"schema_version":"1.0"},"canonical_sha256":"4f4bd3b78956268d60fbfcc107525c9776cc3cae27b4acafaeb3be9178c6ae06","source":{"kind":"arxiv","id":"2403.08056","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.08056","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"arxiv_version","alias_value":"2403.08056v3","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.08056","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"pith_short_12","alias_value":"J5F5HN4JKYTI","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"pith_short_16","alias_value":"J5F5HN4JKYTI2YH3","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"pith_short_8","alias_value":"J5F5HN4J","created_at":"2026-07-05T08:27:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:J5F5HN4JKYTI2YH37TAQOUS4S5","target":"record","payload":{"canonical_record":{"source":{"id":"2403.08056","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-03-12T20:04:09Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"586bacc84f5baae542869e709f7833cc233981ab12a0858e71220da24ff3128e","abstract_canon_sha256":"316b2f3ad5bd099944aee6bd0d6c55ee3e7abc3dcac3495083557a14dc6dbea8"},"schema_version":"1.0"},"canonical_sha256":"4f4bd3b78956268d60fbfcc107525c9776cc3cae27b4acafaeb3be9178c6ae06","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:27:47.310833Z","signature_b64":"ILSTakeXpai2B6tJww0auMpsF75nJU7V2qTX3ZmgEwmuJiLlzH7hwmJ57rCLAc+rVnBRnOJTC8/CTMmUL2UfAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4f4bd3b78956268d60fbfcc107525c9776cc3cae27b4acafaeb3be9178c6ae06","last_reissued_at":"2026-07-05T08:27:47.310331Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:27:47.310331Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.08056","source_version":3,"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-07-05T08:27:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"THE7FNzzD5rujfMohFI2lxRNevkZkIFhg1sdqYjHD9MsCzRuE6DVI3LhhcoFD0cXIpz+LLOoAZ8NjLazjVAJCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T01:53:24.027015Z"},"content_sha256":"ec58ae4602c8baa1e2ee70931501adebf42d83b0cf80878cb49588723b6b3927","schema_version":"1.0","event_id":"sha256:ec58ae4602c8baa1e2ee70931501adebf42d83b0cf80878cb49588723b6b3927"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:J5F5HN4JKYTI2YH37TAQOUS4S5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving Memory Dependence Prediction with Static Analysis","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.PL","authors_text":"Jim Whittaker, Luke Panayi, Martin Berger, Paul Kelly, Rohan Gandhi, Vassilios Chouliaras","submitted_at":"2024-03-12T20:04:09Z","abstract_excerpt":"This paper explores the potential of communicating information gained by static analysis from compilers to Out-of-Order (OoO) machines, focusing on the memory dependence predictor (MDP). The MDP enables loads to issue without all in-flight store addresses being known, with minimal memory order violations. We use LLVM to find loads with no dependencies and label them via their opcode. These labelled loads skip making lookups into the MDP, improving prediction accuracy by reducing false dependencies. We communicate this information in a minimally intrusive way, i.e.~without introducing additiona"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.08056","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2403.08056/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T08:27:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LD6DpK0EVH2+OUu1xVCzSjv8HPdM0DUk3CwZnWK/er24UVUO9nIvLMXheH2yefyzEsj79KdyNb/hRjfMPaOTCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T01:53:24.027590Z"},"content_sha256":"62a2d1146541e2fff9f435a8606b17f286dbc4155bf39b11ec242ceb81a1962e","schema_version":"1.0","event_id":"sha256:62a2d1146541e2fff9f435a8606b17f286dbc4155bf39b11ec242ceb81a1962e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J5F5HN4JKYTI2YH37TAQOUS4S5/bundle.json","state_url":"https://pith.science/pith/J5F5HN4JKYTI2YH37TAQOUS4S5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J5F5HN4JKYTI2YH37TAQOUS4S5/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-17T01:53:24Z","links":{"resolver":"https://pith.science/pith/J5F5HN4JKYTI2YH37TAQOUS4S5","bundle":"https://pith.science/pith/J5F5HN4JKYTI2YH37TAQOUS4S5/bundle.json","state":"https://pith.science/pith/J5F5HN4JKYTI2YH37TAQOUS4S5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J5F5HN4JKYTI2YH37TAQOUS4S5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:J5F5HN4JKYTI2YH37TAQOUS4S5","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":"316b2f3ad5bd099944aee6bd0d6c55ee3e7abc3dcac3495083557a14dc6dbea8","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-03-12T20:04:09Z","title_canon_sha256":"586bacc84f5baae542869e709f7833cc233981ab12a0858e71220da24ff3128e"},"schema_version":"1.0","source":{"id":"2403.08056","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.08056","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"arxiv_version","alias_value":"2403.08056v3","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.08056","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"pith_short_12","alias_value":"J5F5HN4JKYTI","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"pith_short_16","alias_value":"J5F5HN4JKYTI2YH3","created_at":"2026-07-05T08:27:47Z"},{"alias_kind":"pith_short_8","alias_value":"J5F5HN4J","created_at":"2026-07-05T08:27:47Z"}],"graph_snapshots":[{"event_id":"sha256:62a2d1146541e2fff9f435a8606b17f286dbc4155bf39b11ec242ceb81a1962e","target":"graph","created_at":"2026-07-05T08:27:47Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2403.08056/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper explores the potential of communicating information gained by static analysis from compilers to Out-of-Order (OoO) machines, focusing on the memory dependence predictor (MDP). The MDP enables loads to issue without all in-flight store addresses being known, with minimal memory order violations. We use LLVM to find loads with no dependencies and label them via their opcode. These labelled loads skip making lookups into the MDP, improving prediction accuracy by reducing false dependencies. We communicate this information in a minimally intrusive way, i.e.~without introducing additiona","authors_text":"Jim Whittaker, Luke Panayi, Martin Berger, Paul Kelly, Rohan Gandhi, Vassilios Chouliaras","cross_cats":["cs.AR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-03-12T20:04:09Z","title":"Improving Memory Dependence Prediction with Static Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.08056","kind":"arxiv","version":3},"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:ec58ae4602c8baa1e2ee70931501adebf42d83b0cf80878cb49588723b6b3927","target":"record","created_at":"2026-07-05T08:27:47Z","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":"316b2f3ad5bd099944aee6bd0d6c55ee3e7abc3dcac3495083557a14dc6dbea8","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-03-12T20:04:09Z","title_canon_sha256":"586bacc84f5baae542869e709f7833cc233981ab12a0858e71220da24ff3128e"},"schema_version":"1.0","source":{"id":"2403.08056","kind":"arxiv","version":3}},"canonical_sha256":"4f4bd3b78956268d60fbfcc107525c9776cc3cae27b4acafaeb3be9178c6ae06","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f4bd3b78956268d60fbfcc107525c9776cc3cae27b4acafaeb3be9178c6ae06","first_computed_at":"2026-07-05T08:27:47.310331Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:27:47.310331Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ILSTakeXpai2B6tJww0auMpsF75nJU7V2qTX3ZmgEwmuJiLlzH7hwmJ57rCLAc+rVnBRnOJTC8/CTMmUL2UfAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:27:47.310833Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.08056","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ec58ae4602c8baa1e2ee70931501adebf42d83b0cf80878cb49588723b6b3927","sha256:62a2d1146541e2fff9f435a8606b17f286dbc4155bf39b11ec242ceb81a1962e"],"state_sha256":"673e3296bc77617677a22e59ba25c5a9cd2cb33ebc061a98a79bd697cc821f3e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ArwE91OYAclXFi991E1c3tNwWUgVKPzWFAibwv03YCPNSaoOQGWwZX9RnBeR7kjUBg321B4KG10za9N25ieuDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T01:53:24.032996Z","bundle_sha256":"52d1994297f129ec578491900fa5634e4b5c438e2d93558b819890be30e5d01d"}}