{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:OPRDCUQD6MN3L2KFMX2KVLHD4F","short_pith_number":"pith:OPRDCUQD","canonical_record":{"source":{"id":"2102.13514","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-02-24T10:42:56Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"76f53714a82edba9a2637acef012a1823065839f023a8475a6218416d0d922b6","abstract_canon_sha256":"1ce623281bd6475c13e192ce79e84f1affdcbf620b9d32530b6f7ddb797b3056"},"schema_version":"1.0"},"canonical_sha256":"73e2315203f31bb5e94565f4aaace3e167bf1efc72e3dbc179fdead801ec2efa","source":{"kind":"arxiv","id":"2102.13514","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.13514","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"arxiv_version","alias_value":"2102.13514v1","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.13514","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"pith_short_12","alias_value":"OPRDCUQD6MN3","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"pith_short_16","alias_value":"OPRDCUQD6MN3L2KF","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"pith_short_8","alias_value":"OPRDCUQD","created_at":"2026-07-05T02:18:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:OPRDCUQD6MN3L2KFMX2KVLHD4F","target":"record","payload":{"canonical_record":{"source":{"id":"2102.13514","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-02-24T10:42:56Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"76f53714a82edba9a2637acef012a1823065839f023a8475a6218416d0d922b6","abstract_canon_sha256":"1ce623281bd6475c13e192ce79e84f1affdcbf620b9d32530b6f7ddb797b3056"},"schema_version":"1.0"},"canonical_sha256":"73e2315203f31bb5e94565f4aaace3e167bf1efc72e3dbc179fdead801ec2efa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:18:38.333844Z","signature_b64":"1e4WToqNAFw6dy8GL0ovCD+WebX02etIRv0by6yMa2hS+ppFTio2S1l8EIKti7HJNG+UQOwifU9Pfz4TTcCrAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73e2315203f31bb5e94565f4aaace3e167bf1efc72e3dbc179fdead801ec2efa","last_reissued_at":"2026-07-05T02:18:38.333347Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:18:38.333347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2102.13514","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-07-05T02:18:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jkUkstqd9GhuniLfhKDWG4jj+q7dGT0O92sFfeDr+QGngEZ1jN82kNyKgXEO6Z55Gn8IBayoAfykK8vNTqJEBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T08:58:50.164440Z"},"content_sha256":"2d949be6b8a27f264a9c66c8f072b634038795c224224a44a91b239e766c2774","schema_version":"1.0","event_id":"sha256:2d949be6b8a27f264a9c66c8f072b634038795c224224a44a91b239e766c2774"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:OPRDCUQD6MN3L2KFMX2KVLHD4F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning to Make Compiler Optimizations More Effective","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.PL","authors_text":"Felix Wolf, Marija Selakovic, Michael Pradel, Rahim Mammadli","submitted_at":"2021-02-24T10:42:56Z","abstract_excerpt":"Because loops execute their body many times, compiler developers place much emphasis on their optimization. Nevertheless, in view of highly diverse source code and hardware, compilers still struggle to produce optimal target code. The sheer number of possible loop optimizations, including their combinations, exacerbates the problem further. Today's compilers use hard-coded heuristics to decide when, whether, and which of a limited set of optimizations to apply. Often, this leads to highly unstable behavior, making the success of compiler optimizations dependent on the precise way a loop has be"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.13514","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2102.13514/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-05T02:18:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X8vkvayHVhcrNBadK8N3NekTmay4zOVuBlM24oJXZuPGBt3DdcPVy6KlgW0yDeGSrRYD0/0/IWp9HyZvEgUlDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T08:58:50.164919Z"},"content_sha256":"978c9d7a25f2cd20af6a81d7bab5157232a5f0a24ef6370a9bd5879c6f429b4b","schema_version":"1.0","event_id":"sha256:978c9d7a25f2cd20af6a81d7bab5157232a5f0a24ef6370a9bd5879c6f429b4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OPRDCUQD6MN3L2KFMX2KVLHD4F/bundle.json","state_url":"https://pith.science/pith/OPRDCUQD6MN3L2KFMX2KVLHD4F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OPRDCUQD6MN3L2KFMX2KVLHD4F/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-07-13T08:58:50Z","links":{"resolver":"https://pith.science/pith/OPRDCUQD6MN3L2KFMX2KVLHD4F","bundle":"https://pith.science/pith/OPRDCUQD6MN3L2KFMX2KVLHD4F/bundle.json","state":"https://pith.science/pith/OPRDCUQD6MN3L2KFMX2KVLHD4F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OPRDCUQD6MN3L2KFMX2KVLHD4F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:OPRDCUQD6MN3L2KFMX2KVLHD4F","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":"1ce623281bd6475c13e192ce79e84f1affdcbf620b9d32530b6f7ddb797b3056","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-02-24T10:42:56Z","title_canon_sha256":"76f53714a82edba9a2637acef012a1823065839f023a8475a6218416d0d922b6"},"schema_version":"1.0","source":{"id":"2102.13514","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.13514","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"arxiv_version","alias_value":"2102.13514v1","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.13514","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"pith_short_12","alias_value":"OPRDCUQD6MN3","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"pith_short_16","alias_value":"OPRDCUQD6MN3L2KF","created_at":"2026-07-05T02:18:38Z"},{"alias_kind":"pith_short_8","alias_value":"OPRDCUQD","created_at":"2026-07-05T02:18:38Z"}],"graph_snapshots":[{"event_id":"sha256:978c9d7a25f2cd20af6a81d7bab5157232a5f0a24ef6370a9bd5879c6f429b4b","target":"graph","created_at":"2026-07-05T02:18:38Z","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/2102.13514/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Because loops execute their body many times, compiler developers place much emphasis on their optimization. Nevertheless, in view of highly diverse source code and hardware, compilers still struggle to produce optimal target code. The sheer number of possible loop optimizations, including their combinations, exacerbates the problem further. Today's compilers use hard-coded heuristics to decide when, whether, and which of a limited set of optimizations to apply. Often, this leads to highly unstable behavior, making the success of compiler optimizations dependent on the precise way a loop has be","authors_text":"Felix Wolf, Marija Selakovic, Michael Pradel, Rahim Mammadli","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-02-24T10:42:56Z","title":"Learning to Make Compiler Optimizations More Effective"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.13514","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:2d949be6b8a27f264a9c66c8f072b634038795c224224a44a91b239e766c2774","target":"record","created_at":"2026-07-05T02:18:38Z","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":"1ce623281bd6475c13e192ce79e84f1affdcbf620b9d32530b6f7ddb797b3056","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-02-24T10:42:56Z","title_canon_sha256":"76f53714a82edba9a2637acef012a1823065839f023a8475a6218416d0d922b6"},"schema_version":"1.0","source":{"id":"2102.13514","kind":"arxiv","version":1}},"canonical_sha256":"73e2315203f31bb5e94565f4aaace3e167bf1efc72e3dbc179fdead801ec2efa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73e2315203f31bb5e94565f4aaace3e167bf1efc72e3dbc179fdead801ec2efa","first_computed_at":"2026-07-05T02:18:38.333347Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:18:38.333347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1e4WToqNAFw6dy8GL0ovCD+WebX02etIRv0by6yMa2hS+ppFTio2S1l8EIKti7HJNG+UQOwifU9Pfz4TTcCrAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:18:38.333844Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.13514","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d949be6b8a27f264a9c66c8f072b634038795c224224a44a91b239e766c2774","sha256:978c9d7a25f2cd20af6a81d7bab5157232a5f0a24ef6370a9bd5879c6f429b4b"],"state_sha256":"c237d8a262f6699a5ea50f4e3f701e088dd26efd071dd7f76303738905073b77"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"53IkzvkYkkB3Yvpt3MweBYZ5+dIun23xxp3RhvzenUT0vd8dFvF+4H1Qbji592xuRkrCqt1qkPMA+shhr6HJBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-13T08:58:50.166978Z","bundle_sha256":"1456aafb5d2cb8664f618db43a71737a49a47f710bb9f01a045364a7c9287695"}}