{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:E37QBXJFT3OVFA7SNERS2TGHU6","short_pith_number":"pith:E37QBXJF","canonical_record":{"source":{"id":"1204.4779","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.IM","submitted_at":"2012-04-21T05:19:03Z","cross_cats_sorted":["cs.DC","cs.NE"],"title_canon_sha256":"11c8b1a2059e5417c436828b24d16b26ccc466e94753948cbd1eb6cd58f93f4a","abstract_canon_sha256":"1e297460080051e13ee5bddecea447b4e23e9be02e41655204bcca6d1784c035"},"schema_version":"1.0"},"canonical_sha256":"26ff00dd259edd5283f269232d4cc7a7bb5fb3f525a1885fc3fd7c549b78e443","source":{"kind":"arxiv","id":"1204.4779","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.4779","created_at":"2026-05-18T01:57:47Z"},{"alias_kind":"arxiv_version","alias_value":"1204.4779v2","created_at":"2026-05-18T01:57:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.4779","created_at":"2026-05-18T01:57:47Z"},{"alias_kind":"pith_short_12","alias_value":"E37QBXJFT3OV","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"E37QBXJFT3OVFA7S","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"E37QBXJF","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:E37QBXJFT3OVFA7SNERS2TGHU6","target":"record","payload":{"canonical_record":{"source":{"id":"1204.4779","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.IM","submitted_at":"2012-04-21T05:19:03Z","cross_cats_sorted":["cs.DC","cs.NE"],"title_canon_sha256":"11c8b1a2059e5417c436828b24d16b26ccc466e94753948cbd1eb6cd58f93f4a","abstract_canon_sha256":"1e297460080051e13ee5bddecea447b4e23e9be02e41655204bcca6d1784c035"},"schema_version":"1.0"},"canonical_sha256":"26ff00dd259edd5283f269232d4cc7a7bb5fb3f525a1885fc3fd7c549b78e443","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:57:47.844085Z","signature_b64":"8ElsLXRbclSZva5QmB7Jr4ZedZYx6ULOxFK2UPIdxQeo/rZ9vbvIgZWJbuis5JBVHBFJJBMrHGB6re9BnXFpAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26ff00dd259edd5283f269232d4cc7a7bb5fb3f525a1885fc3fd7c549b78e443","last_reissued_at":"2026-05-18T01:57:47.843371Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:57:47.843371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.4779","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-18T01:57:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NbIseSXPvseI26HZGmWCstOuzWBMFB7mtXuqNX1paXvGjlkq0p0ja7mwSdSThZpRirri/RrE2Ruyu9ivFsp1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T08:33:05.946649Z"},"content_sha256":"5081d76f9249b9f70ccb2d94f10460f7eb5c2108c6b36cb87dff5c3384c19a95","schema_version":"1.0","event_id":"sha256:5081d76f9249b9f70ccb2d94f10460f7eb5c2108c6b36cb87dff5c3384c19a95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:E37QBXJFT3OVFA7SNERS2TGHU6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Paraiso : An Automated Tuning Framework for Explicit Solvers of Partial Differential Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.NE"],"primary_cat":"astro-ph.IM","authors_text":"Takayuki Muranushi","submitted_at":"2012-04-21T05:19:03Z","abstract_excerpt":"We propose Paraiso, a domain specific language embedded in functional programming language Haskell, for automated tuning of explicit solvers of partial differential equations (PDEs) on GPUs as well as multicore CPUs. In Paraiso, one can describe PDE solving algorithms succinctly using tensor equations notation. Hydrodynamic properties, interpolation methods and other building blocks are described in abstract, modular, re-usable and combinable forms, which lets us generate versatile solvers from little set of Paraiso source codes.\n  We demonstrate Paraiso by implementing a compressive hydrodyna"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.4779","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-18T01:57:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nsjko3r1vJ3+iwBgqlxvDzJEredF3yuTTX6cueK+8s5rVhlBogG4zziCUMT6rrI+M9OUlwGLZXhekMhGWFKPCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T08:33:05.947004Z"},"content_sha256":"d68c203e928dc284970c02b1529fd8f942058a680aca31b4503e1f2fdfc5612f","schema_version":"1.0","event_id":"sha256:d68c203e928dc284970c02b1529fd8f942058a680aca31b4503e1f2fdfc5612f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E37QBXJFT3OVFA7SNERS2TGHU6/bundle.json","state_url":"https://pith.science/pith/E37QBXJFT3OVFA7SNERS2TGHU6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E37QBXJFT3OVFA7SNERS2TGHU6/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-04T08:33:05Z","links":{"resolver":"https://pith.science/pith/E37QBXJFT3OVFA7SNERS2TGHU6","bundle":"https://pith.science/pith/E37QBXJFT3OVFA7SNERS2TGHU6/bundle.json","state":"https://pith.science/pith/E37QBXJFT3OVFA7SNERS2TGHU6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E37QBXJFT3OVFA7SNERS2TGHU6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:E37QBXJFT3OVFA7SNERS2TGHU6","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":"1e297460080051e13ee5bddecea447b4e23e9be02e41655204bcca6d1784c035","cross_cats_sorted":["cs.DC","cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.IM","submitted_at":"2012-04-21T05:19:03Z","title_canon_sha256":"11c8b1a2059e5417c436828b24d16b26ccc466e94753948cbd1eb6cd58f93f4a"},"schema_version":"1.0","source":{"id":"1204.4779","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.4779","created_at":"2026-05-18T01:57:47Z"},{"alias_kind":"arxiv_version","alias_value":"1204.4779v2","created_at":"2026-05-18T01:57:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.4779","created_at":"2026-05-18T01:57:47Z"},{"alias_kind":"pith_short_12","alias_value":"E37QBXJFT3OV","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"E37QBXJFT3OVFA7S","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"E37QBXJF","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:d68c203e928dc284970c02b1529fd8f942058a680aca31b4503e1f2fdfc5612f","target":"graph","created_at":"2026-05-18T01:57:47Z","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":"We propose Paraiso, a domain specific language embedded in functional programming language Haskell, for automated tuning of explicit solvers of partial differential equations (PDEs) on GPUs as well as multicore CPUs. In Paraiso, one can describe PDE solving algorithms succinctly using tensor equations notation. Hydrodynamic properties, interpolation methods and other building blocks are described in abstract, modular, re-usable and combinable forms, which lets us generate versatile solvers from little set of Paraiso source codes.\n  We demonstrate Paraiso by implementing a compressive hydrodyna","authors_text":"Takayuki Muranushi","cross_cats":["cs.DC","cs.NE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.IM","submitted_at":"2012-04-21T05:19:03Z","title":"Paraiso : An Automated Tuning Framework for Explicit Solvers of Partial Differential Equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.4779","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:5081d76f9249b9f70ccb2d94f10460f7eb5c2108c6b36cb87dff5c3384c19a95","target":"record","created_at":"2026-05-18T01:57:47Z","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":"1e297460080051e13ee5bddecea447b4e23e9be02e41655204bcca6d1784c035","cross_cats_sorted":["cs.DC","cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.IM","submitted_at":"2012-04-21T05:19:03Z","title_canon_sha256":"11c8b1a2059e5417c436828b24d16b26ccc466e94753948cbd1eb6cd58f93f4a"},"schema_version":"1.0","source":{"id":"1204.4779","kind":"arxiv","version":2}},"canonical_sha256":"26ff00dd259edd5283f269232d4cc7a7bb5fb3f525a1885fc3fd7c549b78e443","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26ff00dd259edd5283f269232d4cc7a7bb5fb3f525a1885fc3fd7c549b78e443","first_computed_at":"2026-05-18T01:57:47.843371Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:57:47.843371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8ElsLXRbclSZva5QmB7Jr4ZedZYx6ULOxFK2UPIdxQeo/rZ9vbvIgZWJbuis5JBVHBFJJBMrHGB6re9BnXFpAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:57:47.844085Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.4779","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5081d76f9249b9f70ccb2d94f10460f7eb5c2108c6b36cb87dff5c3384c19a95","sha256:d68c203e928dc284970c02b1529fd8f942058a680aca31b4503e1f2fdfc5612f"],"state_sha256":"5fcf1b84116d272469eb900c559f05fd856f6b4fce59e442e2694917eb8e17b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yCvSz+D+/RDI6PtEq0xzgYm4ghwo+HESzA3iw0hxjIrZPL+kWOipUeSaDPH/Gn7a5KMPt40rNDwCxBYTvFoDCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T08:33:05.949869Z","bundle_sha256":"7a1e1cad08a535212a28840da975ca6215e2687a608377abf1c02c9c7e7f1a71"}}