{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:VPYBNIRWWXBMXIHOSMYWOXNLJH","short_pith_number":"pith:VPYBNIRW","canonical_record":{"source":{"id":"2301.05104","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-09T16:42:35Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"f5d0be1e160b83cc17ceab49f80a7be2009e48cfe026faedc72dd6e2b9629789","abstract_canon_sha256":"81dac613d2c0332733bcfac826701637810e6fbe1f562e2094ec9d4ec13fd0a5"},"schema_version":"1.0"},"canonical_sha256":"abf016a236b5c2cba0ee9331675dab49d21518fcc01aba3cec136ee332098482","source":{"kind":"arxiv","id":"2301.05104","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.05104","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"arxiv_version","alias_value":"2301.05104v2","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.05104","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"pith_short_12","alias_value":"VPYBNIRWWXBM","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"pith_short_16","alias_value":"VPYBNIRWWXBMXIHO","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"pith_short_8","alias_value":"VPYBNIRW","created_at":"2026-07-05T05:36:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:VPYBNIRWWXBMXIHOSMYWOXNLJH","target":"record","payload":{"canonical_record":{"source":{"id":"2301.05104","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-09T16:42:35Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"f5d0be1e160b83cc17ceab49f80a7be2009e48cfe026faedc72dd6e2b9629789","abstract_canon_sha256":"81dac613d2c0332733bcfac826701637810e6fbe1f562e2094ec9d4ec13fd0a5"},"schema_version":"1.0"},"canonical_sha256":"abf016a236b5c2cba0ee9331675dab49d21518fcc01aba3cec136ee332098482","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:36:32.584010Z","signature_b64":"h2UnW+IMFri32s92b2oiJybCf45yNTpEfIqpl9AWKADKreJyobsbbgvEUs/KJt7bHuqOsJWRo+0NU02eBdEwDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"abf016a236b5c2cba0ee9331675dab49d21518fcc01aba3cec136ee332098482","last_reissued_at":"2026-07-05T05:36:32.583509Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:36:32.583509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2301.05104","source_version":2,"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-05T05:36:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/nEOj1oqQz8Aw/Ks4UxgHzaWquNV+CkdVvxl+dn+8OHUStEZ/MDJn3oz6g1eGAfUWLkDVF5Q7eHuj73ltzUCCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T21:00:02.889267Z"},"content_sha256":"0236ec77e4296a10d70cfa820cb0f94a40170046f0d97a7b7aaaa9a6fa88ddf2","schema_version":"1.0","event_id":"sha256:0236ec77e4296a10d70cfa820cb0f94a40170046f0d97a7b7aaaa9a6fa88ddf2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:VPYBNIRWWXBMXIHOSMYWOXNLJH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Compiler Pass Orders using Coreset and Normalized Value Prediction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.PL","authors_text":"Ali Shameli, Benoit Steiner, Chris Cummins, Hugh Leather, Jiadong Guo, Kevin Stone, Mostafa Elhoushi, Pengtao Xie, Xiaomeng Yang, Youwei Liang, Yuandong Tian","submitted_at":"2023-01-09T16:42:35Z","abstract_excerpt":"Finding the optimal pass sequence of compilation can lead to a significant reduction in program size and/or improvement in program efficiency. Prior works on compilation pass ordering have two major drawbacks. They either require an excessive budget (in terms of compilation steps) at compile time or fail to generalize to unseen programs. In this paper, for code-size reduction tasks, we propose a novel pipeline to find program-dependent pass sequences within 45 compilation calls. It first identifies a coreset of 50 pass sequences via greedy optimization of a submodular function, and then learns"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.05104","kind":"arxiv","version":2},"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/2301.05104/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-05T05:36:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a7ucplmsfb62ZaIWsQqys6vBxEP9fG3OBV917dX9+WIo1c/RIvSuEOVcRFiMBFED5vV3Pu5Z1dz1zT+4+4ClBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T21:00:02.889665Z"},"content_sha256":"2307a88c076ea625938f722c42173168429f56a82b84d04c12d941c9eab9823c","schema_version":"1.0","event_id":"sha256:2307a88c076ea625938f722c42173168429f56a82b84d04c12d941c9eab9823c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VPYBNIRWWXBMXIHOSMYWOXNLJH/bundle.json","state_url":"https://pith.science/pith/VPYBNIRWWXBMXIHOSMYWOXNLJH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VPYBNIRWWXBMXIHOSMYWOXNLJH/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-06T21:00:02Z","links":{"resolver":"https://pith.science/pith/VPYBNIRWWXBMXIHOSMYWOXNLJH","bundle":"https://pith.science/pith/VPYBNIRWWXBMXIHOSMYWOXNLJH/bundle.json","state":"https://pith.science/pith/VPYBNIRWWXBMXIHOSMYWOXNLJH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VPYBNIRWWXBMXIHOSMYWOXNLJH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:VPYBNIRWWXBMXIHOSMYWOXNLJH","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":"81dac613d2c0332733bcfac826701637810e6fbe1f562e2094ec9d4ec13fd0a5","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-09T16:42:35Z","title_canon_sha256":"f5d0be1e160b83cc17ceab49f80a7be2009e48cfe026faedc72dd6e2b9629789"},"schema_version":"1.0","source":{"id":"2301.05104","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.05104","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"arxiv_version","alias_value":"2301.05104v2","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.05104","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"pith_short_12","alias_value":"VPYBNIRWWXBM","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"pith_short_16","alias_value":"VPYBNIRWWXBMXIHO","created_at":"2026-07-05T05:36:32Z"},{"alias_kind":"pith_short_8","alias_value":"VPYBNIRW","created_at":"2026-07-05T05:36:32Z"}],"graph_snapshots":[{"event_id":"sha256:2307a88c076ea625938f722c42173168429f56a82b84d04c12d941c9eab9823c","target":"graph","created_at":"2026-07-05T05:36:32Z","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/2301.05104/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Finding the optimal pass sequence of compilation can lead to a significant reduction in program size and/or improvement in program efficiency. Prior works on compilation pass ordering have two major drawbacks. They either require an excessive budget (in terms of compilation steps) at compile time or fail to generalize to unseen programs. In this paper, for code-size reduction tasks, we propose a novel pipeline to find program-dependent pass sequences within 45 compilation calls. It first identifies a coreset of 50 pass sequences via greedy optimization of a submodular function, and then learns","authors_text":"Ali Shameli, Benoit Steiner, Chris Cummins, Hugh Leather, Jiadong Guo, Kevin Stone, Mostafa Elhoushi, Pengtao Xie, Xiaomeng Yang, Youwei Liang, Yuandong Tian","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-09T16:42:35Z","title":"Learning Compiler Pass Orders using Coreset and Normalized Value Prediction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.05104","kind":"arxiv","version":2},"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:0236ec77e4296a10d70cfa820cb0f94a40170046f0d97a7b7aaaa9a6fa88ddf2","target":"record","created_at":"2026-07-05T05:36:32Z","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":"81dac613d2c0332733bcfac826701637810e6fbe1f562e2094ec9d4ec13fd0a5","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-09T16:42:35Z","title_canon_sha256":"f5d0be1e160b83cc17ceab49f80a7be2009e48cfe026faedc72dd6e2b9629789"},"schema_version":"1.0","source":{"id":"2301.05104","kind":"arxiv","version":2}},"canonical_sha256":"abf016a236b5c2cba0ee9331675dab49d21518fcc01aba3cec136ee332098482","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"abf016a236b5c2cba0ee9331675dab49d21518fcc01aba3cec136ee332098482","first_computed_at":"2026-07-05T05:36:32.583509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:36:32.583509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h2UnW+IMFri32s92b2oiJybCf45yNTpEfIqpl9AWKADKreJyobsbbgvEUs/KJt7bHuqOsJWRo+0NU02eBdEwDA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:36:32.584010Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.05104","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0236ec77e4296a10d70cfa820cb0f94a40170046f0d97a7b7aaaa9a6fa88ddf2","sha256:2307a88c076ea625938f722c42173168429f56a82b84d04c12d941c9eab9823c"],"state_sha256":"87518ba9a6893652932b9265d5440ab90d2f45c2f2357c2be367910b2b0ae2c4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JEnd520VHh33fAbd2p2FKh84wNdJYyOKhUda3tk/xVpC2sFCxrof0wALv9z3fMkFruW04R7MxGQDDdo+FF55BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T21:00:02.891773Z","bundle_sha256":"a4b5d4a9811d64fa28cef8b36462699b607975fe16e8428e8df8fd53ef9ca8d5"}}