{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:AUWTGD5LQFDRMZ63QU4BUF6URU","short_pith_number":"pith:AUWTGD5L","canonical_record":{"source":{"id":"1711.04422","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-13T05:01:56Z","cross_cats_sorted":[],"title_canon_sha256":"3a9d9c525e597d45631e15a830517e3272dc1470ddfbb83623cb4e4552d5a33f","abstract_canon_sha256":"441f45a3ca354cb1e0374cccded9ff1e0ffb2ccfb9d971ff1e9100f7af9a525f"},"schema_version":"1.0"},"canonical_sha256":"052d330fab81471667db85381a17d48d3f610ec9cd99540157cd33b038bd4a4d","source":{"kind":"arxiv","id":"1711.04422","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.04422","created_at":"2026-05-18T00:19:08Z"},{"alias_kind":"arxiv_version","alias_value":"1711.04422v2","created_at":"2026-05-18T00:19:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.04422","created_at":"2026-05-18T00:19:08Z"},{"alias_kind":"pith_short_12","alias_value":"AUWTGD5LQFDR","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"AUWTGD5LQFDRMZ63","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"AUWTGD5L","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:AUWTGD5LQFDRMZ63QU4BUF6URU","target":"record","payload":{"canonical_record":{"source":{"id":"1711.04422","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-13T05:01:56Z","cross_cats_sorted":[],"title_canon_sha256":"3a9d9c525e597d45631e15a830517e3272dc1470ddfbb83623cb4e4552d5a33f","abstract_canon_sha256":"441f45a3ca354cb1e0374cccded9ff1e0ffb2ccfb9d971ff1e9100f7af9a525f"},"schema_version":"1.0"},"canonical_sha256":"052d330fab81471667db85381a17d48d3f610ec9cd99540157cd33b038bd4a4d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:08.579728Z","signature_b64":"a+oLXFkPSQNo0Ks9GuUtOj7QSwaXwUly+D//QWwXfvKeXER6sCf/6C4OLCd5gogk/L0XoyHnH8V2yeFaXoLmCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"052d330fab81471667db85381a17d48d3f610ec9cd99540157cd33b038bd4a4d","last_reissued_at":"2026-05-18T00:19:08.579025Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:08.579025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.04422","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-05-18T00:19:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9oFhsfjmTHS4odwUdP1Qjv8ZViYLuPlqDdLVXsb1p+WWTYL+mv9G/HOYP6mDhdEz+/eB4q0M4CGmQZssycEfCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T04:15:17.827496Z"},"content_sha256":"f4655abf6253bfe9b529011bb63cd6027ad8edd33fc7bdafcde41af5aa72c688","schema_version":"1.0","event_id":"sha256:f4655abf6253bfe9b529011bb63cd6027ad8edd33fc7bdafcde41af5aa72c688"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:AUWTGD5LQFDRMZ63QU4BUF6URU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Souper: A Synthesizing Superoptimizer","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gratian Lup, Jeroen Ketema, John Regehr, Jubi Taneja, Peter Collingbourne, Raimondas Sasnauskas, Yang Chen","submitted_at":"2017-11-13T05:01:56Z","abstract_excerpt":"If we can automatically derive compiler optimizations, we might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quality compiler. We developed Souper, a synthesizing superoptimizer, to see how far these ideas might be pushed in the context of LLVM. Along the way, we discovered that Souper's intermediate representation was sufficiently similar to the one in Microsoft Visual C++ that we applied Souper to that compiler as well. Shipping, or about-to-ship, versions of both compilers contain optimizations suggested by Souper but impleme"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.04422","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":""},"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-05-18T00:19:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yOX2pEc8OxlEB12DIkfvfZK6RpozTfaUrjHb2GpaPKxqHhkjz1SOY9T4L5k2GPb7GbxluUod72Y1Qj7ACZZXBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T04:15:17.828082Z"},"content_sha256":"017480e9ee81785817f363543a80db0bf07e76ca9e1bb690da9a8b123a1d924e","schema_version":"1.0","event_id":"sha256:017480e9ee81785817f363543a80db0bf07e76ca9e1bb690da9a8b123a1d924e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AUWTGD5LQFDRMZ63QU4BUF6URU/bundle.json","state_url":"https://pith.science/pith/AUWTGD5LQFDRMZ63QU4BUF6URU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AUWTGD5LQFDRMZ63QU4BUF6URU/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-06-05T04:15:17Z","links":{"resolver":"https://pith.science/pith/AUWTGD5LQFDRMZ63QU4BUF6URU","bundle":"https://pith.science/pith/AUWTGD5LQFDRMZ63QU4BUF6URU/bundle.json","state":"https://pith.science/pith/AUWTGD5LQFDRMZ63QU4BUF6URU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AUWTGD5LQFDRMZ63QU4BUF6URU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:AUWTGD5LQFDRMZ63QU4BUF6URU","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":"441f45a3ca354cb1e0374cccded9ff1e0ffb2ccfb9d971ff1e9100f7af9a525f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-13T05:01:56Z","title_canon_sha256":"3a9d9c525e597d45631e15a830517e3272dc1470ddfbb83623cb4e4552d5a33f"},"schema_version":"1.0","source":{"id":"1711.04422","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.04422","created_at":"2026-05-18T00:19:08Z"},{"alias_kind":"arxiv_version","alias_value":"1711.04422v2","created_at":"2026-05-18T00:19:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.04422","created_at":"2026-05-18T00:19:08Z"},{"alias_kind":"pith_short_12","alias_value":"AUWTGD5LQFDR","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"AUWTGD5LQFDRMZ63","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"AUWTGD5L","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:017480e9ee81785817f363543a80db0bf07e76ca9e1bb690da9a8b123a1d924e","target":"graph","created_at":"2026-05-18T00:19: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"},"paper":{"abstract_excerpt":"If we can automatically derive compiler optimizations, we might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quality compiler. We developed Souper, a synthesizing superoptimizer, to see how far these ideas might be pushed in the context of LLVM. Along the way, we discovered that Souper's intermediate representation was sufficiently similar to the one in Microsoft Visual C++ that we applied Souper to that compiler as well. Shipping, or about-to-ship, versions of both compilers contain optimizations suggested by Souper but impleme","authors_text":"Gratian Lup, Jeroen Ketema, John Regehr, Jubi Taneja, Peter Collingbourne, Raimondas Sasnauskas, Yang Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-13T05:01:56Z","title":"Souper: A Synthesizing Superoptimizer"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.04422","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:f4655abf6253bfe9b529011bb63cd6027ad8edd33fc7bdafcde41af5aa72c688","target":"record","created_at":"2026-05-18T00:19: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":"441f45a3ca354cb1e0374cccded9ff1e0ffb2ccfb9d971ff1e9100f7af9a525f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-13T05:01:56Z","title_canon_sha256":"3a9d9c525e597d45631e15a830517e3272dc1470ddfbb83623cb4e4552d5a33f"},"schema_version":"1.0","source":{"id":"1711.04422","kind":"arxiv","version":2}},"canonical_sha256":"052d330fab81471667db85381a17d48d3f610ec9cd99540157cd33b038bd4a4d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"052d330fab81471667db85381a17d48d3f610ec9cd99540157cd33b038bd4a4d","first_computed_at":"2026-05-18T00:19:08.579025Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:08.579025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a+oLXFkPSQNo0Ks9GuUtOj7QSwaXwUly+D//QWwXfvKeXER6sCf/6C4OLCd5gogk/L0XoyHnH8V2yeFaXoLmCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:08.579728Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.04422","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f4655abf6253bfe9b529011bb63cd6027ad8edd33fc7bdafcde41af5aa72c688","sha256:017480e9ee81785817f363543a80db0bf07e76ca9e1bb690da9a8b123a1d924e"],"state_sha256":"2077150e7e323233f8dad075b93dc54a73f0b3e4b549517a5eb11ea52dd6d9ac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zRbK01n14Sk6iX7+eFhTj7H08GacAfos2sYSkG6rI3ocEUFDNiJQ6br2zU/TCRuhIz1rIbh4y5vUBLl1BRlbCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T04:15:17.831144Z","bundle_sha256":"d5e6af2266a6feb5efad0b3255c65fcc5ec77f1cacfef78709bc606aae1685d1"}}