{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:5G725VSXJIUMCJTHL6ZQKCMUGW","short_pith_number":"pith:5G725VSX","canonical_record":{"source":{"id":"1705.06575","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T13:16:14Z","cross_cats_sorted":[],"title_canon_sha256":"64be2638efa6d3aa364e33833c0f07f6f98ba9fe6c971801183f596e346cf5a7","abstract_canon_sha256":"ea9d5e8ceede8f7c13250875c9d30eb47017fd135dd7011e2702acf46c908391"},"schema_version":"1.0"},"canonical_sha256":"e9bfaed6574a28c126675fb305099435bb6776bc38592df2a4a9dc0bd2c04af3","source":{"kind":"arxiv","id":"1705.06575","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06575","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06575v1","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06575","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"pith_short_12","alias_value":"5G725VSXJIUM","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5G725VSXJIUMCJTH","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5G725VSX","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:5G725VSXJIUMCJTHL6ZQKCMUGW","target":"record","payload":{"canonical_record":{"source":{"id":"1705.06575","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T13:16:14Z","cross_cats_sorted":[],"title_canon_sha256":"64be2638efa6d3aa364e33833c0f07f6f98ba9fe6c971801183f596e346cf5a7","abstract_canon_sha256":"ea9d5e8ceede8f7c13250875c9d30eb47017fd135dd7011e2702acf46c908391"},"schema_version":"1.0"},"canonical_sha256":"e9bfaed6574a28c126675fb305099435bb6776bc38592df2a4a9dc0bd2c04af3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:46.239841Z","signature_b64":"KDKL5uGqKHkX016RuPT8QDpiHQzOryUBQduJATQbBSNjAgbJ+xHxDTkm/Ad9Cr8KK8Y4vGE//wgzr88rKNZ/Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e9bfaed6574a28c126675fb305099435bb6776bc38592df2a4a9dc0bd2c04af3","last_reissued_at":"2026-05-18T00:26:46.239071Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:46.239071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.06575","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-05-18T00:26:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k7+B/wJ16/BFe95qyFiP3zZmlJDv0TDuFLzvknjK7GOP99aMsmYwLcPJKjZGnxpenJIh5iHd41IK+nCTIBGODQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T10:54:51.799040Z"},"content_sha256":"0433d1baa9bed79414463f5e69f6443f65352626abb40d19aa64d5b261eb58f3","schema_version":"1.0","event_id":"sha256:0433d1baa9bed79414463f5e69f6443f65352626abb40d19aa64d5b261eb58f3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:5G725VSXJIUMCJTHL6ZQKCMUGW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sympiler: Transforming Sparse Matrix Codes by Decoupling Symbolic Analysis","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Kazem Cheshmi, Maryam Mehri Dehnavi, Michelle Mills Strout, Shoaib Kamil","submitted_at":"2017-05-18T13:16:14Z","abstract_excerpt":"Sympiler is a domain-specific code generator that optimizes sparse matrix computations by decoupling the symbolic analysis phase from the numerical manipulation stage in sparse codes. The computation patterns in sparse numerical methods are guided by the input sparsity structure and the sparse algorithm itself. In many real-world simulations, the sparsity pattern changes little or not at all. Sympiler takes advantage of these properties to symbolically analyze sparse codes at compile-time and to apply inspector-guided transformations that enable applying low-level transformations to sparse cod"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06575","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":""},"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:26:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KXwIz5cish/kk1pj3LOB4VVLcCM+AWf9anzqgS1hb2G6WdGLsXHHEVcoJcbl4UVdw+iMNevvh3JNyblvCdr8Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T10:54:51.799656Z"},"content_sha256":"b0c4d49f3121e15e4454e3399c04c5855c85049e0087b274b41e311257385124","schema_version":"1.0","event_id":"sha256:b0c4d49f3121e15e4454e3399c04c5855c85049e0087b274b41e311257385124"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5G725VSXJIUMCJTHL6ZQKCMUGW/bundle.json","state_url":"https://pith.science/pith/5G725VSXJIUMCJTHL6ZQKCMUGW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5G725VSXJIUMCJTHL6ZQKCMUGW/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-05-22T10:54:51Z","links":{"resolver":"https://pith.science/pith/5G725VSXJIUMCJTHL6ZQKCMUGW","bundle":"https://pith.science/pith/5G725VSXJIUMCJTHL6ZQKCMUGW/bundle.json","state":"https://pith.science/pith/5G725VSXJIUMCJTHL6ZQKCMUGW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5G725VSXJIUMCJTHL6ZQKCMUGW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5G725VSXJIUMCJTHL6ZQKCMUGW","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":"ea9d5e8ceede8f7c13250875c9d30eb47017fd135dd7011e2702acf46c908391","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T13:16:14Z","title_canon_sha256":"64be2638efa6d3aa364e33833c0f07f6f98ba9fe6c971801183f596e346cf5a7"},"schema_version":"1.0","source":{"id":"1705.06575","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06575","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06575v1","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06575","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"pith_short_12","alias_value":"5G725VSXJIUM","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5G725VSXJIUMCJTH","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5G725VSX","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:b0c4d49f3121e15e4454e3399c04c5855c85049e0087b274b41e311257385124","target":"graph","created_at":"2026-05-18T00:26:46Z","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":"Sympiler is a domain-specific code generator that optimizes sparse matrix computations by decoupling the symbolic analysis phase from the numerical manipulation stage in sparse codes. The computation patterns in sparse numerical methods are guided by the input sparsity structure and the sparse algorithm itself. In many real-world simulations, the sparsity pattern changes little or not at all. Sympiler takes advantage of these properties to symbolically analyze sparse codes at compile-time and to apply inspector-guided transformations that enable applying low-level transformations to sparse cod","authors_text":"Kazem Cheshmi, Maryam Mehri Dehnavi, Michelle Mills Strout, Shoaib Kamil","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T13:16:14Z","title":"Sympiler: Transforming Sparse Matrix Codes by Decoupling Symbolic Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06575","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:0433d1baa9bed79414463f5e69f6443f65352626abb40d19aa64d5b261eb58f3","target":"record","created_at":"2026-05-18T00:26:46Z","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":"ea9d5e8ceede8f7c13250875c9d30eb47017fd135dd7011e2702acf46c908391","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-05-18T13:16:14Z","title_canon_sha256":"64be2638efa6d3aa364e33833c0f07f6f98ba9fe6c971801183f596e346cf5a7"},"schema_version":"1.0","source":{"id":"1705.06575","kind":"arxiv","version":1}},"canonical_sha256":"e9bfaed6574a28c126675fb305099435bb6776bc38592df2a4a9dc0bd2c04af3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e9bfaed6574a28c126675fb305099435bb6776bc38592df2a4a9dc0bd2c04af3","first_computed_at":"2026-05-18T00:26:46.239071Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:46.239071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KDKL5uGqKHkX016RuPT8QDpiHQzOryUBQduJATQbBSNjAgbJ+xHxDTkm/Ad9Cr8KK8Y4vGE//wgzr88rKNZ/Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:46.239841Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.06575","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0433d1baa9bed79414463f5e69f6443f65352626abb40d19aa64d5b261eb58f3","sha256:b0c4d49f3121e15e4454e3399c04c5855c85049e0087b274b41e311257385124"],"state_sha256":"2e24e35b6759f6781f76b83e919f8cdea784ce9eb22c1a6bec2b2661d2ca7d73"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"21fKRbXYynpEedXfhMifM/J9pIirCuYlZc7+voriGZjsCydxuzoGB52UNPaKL3gPhIyPQ6fdLY7EReoOsrA7AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T10:54:51.803308Z","bundle_sha256":"4074c9a7ba88927e050fab1926c6569984fb11f37c8970b723e141e2462f0188"}}