{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:UK7AQXWKAOX3BESZPSL5ZALG7C","short_pith_number":"pith:UK7AQXWK","canonical_record":{"source":{"id":"2501.00655","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-31T21:47:46Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"b322cdfd02245690ffc5cb98a962f0ec4aaf85daac7f067bb7ab247c3bea4d97","abstract_canon_sha256":"225137b0eea9097aaa3cb9a1820111b3d9b8b522b404b90d5d9678fd19611ecc"},"schema_version":"1.0"},"canonical_sha256":"a2be085eca03afb092597c97dc8166f8bff074064e7f251f41d4b6025952c04f","source":{"kind":"arxiv","id":"2501.00655","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.00655","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"arxiv_version","alias_value":"2501.00655v1","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.00655","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"pith_short_12","alias_value":"UK7AQXWKAOX3","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"pith_short_16","alias_value":"UK7AQXWKAOX3BESZ","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"pith_short_8","alias_value":"UK7AQXWK","created_at":"2026-07-05T09:56:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:UK7AQXWKAOX3BESZPSL5ZALG7C","target":"record","payload":{"canonical_record":{"source":{"id":"2501.00655","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-31T21:47:46Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"b322cdfd02245690ffc5cb98a962f0ec4aaf85daac7f067bb7ab247c3bea4d97","abstract_canon_sha256":"225137b0eea9097aaa3cb9a1820111b3d9b8b522b404b90d5d9678fd19611ecc"},"schema_version":"1.0"},"canonical_sha256":"a2be085eca03afb092597c97dc8166f8bff074064e7f251f41d4b6025952c04f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:56:08.702012Z","signature_b64":"i+b5puYQ80D0VokQmh99r8Zw0WlTXwbONK8piqre0QQ1AQuiazxewcXZDisQDPbn0B8l9Jg0jHKYc1byEFI/Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2be085eca03afb092597c97dc8166f8bff074064e7f251f41d4b6025952c04f","last_reissued_at":"2026-07-05T09:56:08.701565Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:56:08.701565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.00655","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-05T09:56:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"brXU6+Qoq0EGH9hpx5j8jkkkvAVc+TLxX9XLnDgpBHaqLK32X3DPPl3EIunQQwlej6ibkjwF17yXpnmPWGrmDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:17:52.793432Z"},"content_sha256":"22aa5b94e482ad8a73f55731acf3dec06b05a3107a1afe4dfb0aaa2a57a8f2c5","schema_version":"1.0","event_id":"sha256:22aa5b94e482ad8a73f55731acf3dec06b05a3107a1afe4dfb0aaa2a57a8f2c5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:UK7AQXWKAOX3BESZPSL5ZALG7C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finding Missed Code Size Optimizations in Compilers using LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Chris Cummins, Davide Italiano","submitted_at":"2024-12-31T21:47:46Z","abstract_excerpt":"Compilers are complex, and significant effort has been expended on testing them. Techniques such as random program generation and differential testing have proved highly effective and have uncovered thousands of bugs in production compilers. The majority of effort has been expended on validating that a compiler produces correct code for a given input, while less attention has been paid to ensuring that the compiler produces performant code.\n  In this work we adapt differential testing to the task of identifying missed optimization opportunities in compilers. We develop a novel testing approach"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.00655","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/2501.00655/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-05T09:56:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZfYfa9eLSz6SUTxYPK6kc5qET/N9/DTj5XK9BO/EmJ/DGNGTDIeVvec5BntU+Xpc+YZdNRS1SiHKQTPQ10CWBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:17:52.793952Z"},"content_sha256":"3f2a5115f57d5e3076f8c3e056b916894d68bf0e186ae67cea300d5fc24b8c89","schema_version":"1.0","event_id":"sha256:3f2a5115f57d5e3076f8c3e056b916894d68bf0e186ae67cea300d5fc24b8c89"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UK7AQXWKAOX3BESZPSL5ZALG7C/bundle.json","state_url":"https://pith.science/pith/UK7AQXWKAOX3BESZPSL5ZALG7C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UK7AQXWKAOX3BESZPSL5ZALG7C/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-05T02:17:52Z","links":{"resolver":"https://pith.science/pith/UK7AQXWKAOX3BESZPSL5ZALG7C","bundle":"https://pith.science/pith/UK7AQXWKAOX3BESZPSL5ZALG7C/bundle.json","state":"https://pith.science/pith/UK7AQXWKAOX3BESZPSL5ZALG7C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UK7AQXWKAOX3BESZPSL5ZALG7C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:UK7AQXWKAOX3BESZPSL5ZALG7C","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":"225137b0eea9097aaa3cb9a1820111b3d9b8b522b404b90d5d9678fd19611ecc","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-31T21:47:46Z","title_canon_sha256":"b322cdfd02245690ffc5cb98a962f0ec4aaf85daac7f067bb7ab247c3bea4d97"},"schema_version":"1.0","source":{"id":"2501.00655","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.00655","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"arxiv_version","alias_value":"2501.00655v1","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.00655","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"pith_short_12","alias_value":"UK7AQXWKAOX3","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"pith_short_16","alias_value":"UK7AQXWKAOX3BESZ","created_at":"2026-07-05T09:56:08Z"},{"alias_kind":"pith_short_8","alias_value":"UK7AQXWK","created_at":"2026-07-05T09:56:08Z"}],"graph_snapshots":[{"event_id":"sha256:3f2a5115f57d5e3076f8c3e056b916894d68bf0e186ae67cea300d5fc24b8c89","target":"graph","created_at":"2026-07-05T09:56:08Z","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/2501.00655/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Compilers are complex, and significant effort has been expended on testing them. Techniques such as random program generation and differential testing have proved highly effective and have uncovered thousands of bugs in production compilers. The majority of effort has been expended on validating that a compiler produces correct code for a given input, while less attention has been paid to ensuring that the compiler produces performant code.\n  In this work we adapt differential testing to the task of identifying missed optimization opportunities in compilers. We develop a novel testing approach","authors_text":"Chris Cummins, Davide Italiano","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-31T21:47:46Z","title":"Finding Missed Code Size Optimizations in Compilers using LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.00655","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:22aa5b94e482ad8a73f55731acf3dec06b05a3107a1afe4dfb0aaa2a57a8f2c5","target":"record","created_at":"2026-07-05T09:56:08Z","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":"225137b0eea9097aaa3cb9a1820111b3d9b8b522b404b90d5d9678fd19611ecc","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-31T21:47:46Z","title_canon_sha256":"b322cdfd02245690ffc5cb98a962f0ec4aaf85daac7f067bb7ab247c3bea4d97"},"schema_version":"1.0","source":{"id":"2501.00655","kind":"arxiv","version":1}},"canonical_sha256":"a2be085eca03afb092597c97dc8166f8bff074064e7f251f41d4b6025952c04f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2be085eca03afb092597c97dc8166f8bff074064e7f251f41d4b6025952c04f","first_computed_at":"2026-07-05T09:56:08.701565Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:56:08.701565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i+b5puYQ80D0VokQmh99r8Zw0WlTXwbONK8piqre0QQ1AQuiazxewcXZDisQDPbn0B8l9Jg0jHKYc1byEFI/Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:56:08.702012Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.00655","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:22aa5b94e482ad8a73f55731acf3dec06b05a3107a1afe4dfb0aaa2a57a8f2c5","sha256:3f2a5115f57d5e3076f8c3e056b916894d68bf0e186ae67cea300d5fc24b8c89"],"state_sha256":"be4eb6a9dca4833217c830d08731348a8bdf146b891ed2e5bdb4f3536f771104"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WmAJvUw6lGe6LmMk+JdoRvr96g0gAGA3bEOOxMyCMIC1ZYwvksogw+a3uT8J2RMSnZbBztmfGTRb6h9lcWJMDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T02:17:52.797838Z","bundle_sha256":"2f63ed9fd55d4c71aac34b0010ef2f86c30622e1eacd16edc25aacfe8e8e9245"}}