{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QGODFBLRFUITVZJSH6HNDWDN3O","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":"59f0c031abc395fda9cab37d61e3aaf8105911f509a4dae0a7f90ca91196f056","cross_cats_sorted":["cs.MS","cs.NA","cs.PF","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2025-06-20T20:23:42Z","title_canon_sha256":"90a3f2cb6204d12a7fcb63960ecad162e9a44d6b341a79e40acac004910f7275"},"schema_version":"1.0","source":{"id":"2506.17471","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17471","created_at":"2026-07-05T11:25:18Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17471v1","created_at":"2026-07-05T11:25:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17471","created_at":"2026-07-05T11:25:18Z"},{"alias_kind":"pith_short_12","alias_value":"QGODFBLRFUIT","created_at":"2026-07-05T11:25:18Z"},{"alias_kind":"pith_short_16","alias_value":"QGODFBLRFUITVZJS","created_at":"2026-07-05T11:25:18Z"},{"alias_kind":"pith_short_8","alias_value":"QGODFBLR","created_at":"2026-07-05T11:25:18Z"}],"graph_snapshots":[{"event_id":"sha256:e80dde94b2dd3eab9bc27212f018dc3830e2504358340154bc8adc8ee404d226","target":"graph","created_at":"2026-07-05T11:25:18Z","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/2506.17471/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a novel parallelization strategy for evaluating Finite Element Method (FEM) variational forms on GPUs, focusing on those that are expressible through the Unified Form Language (UFL) on simplex meshes. We base our approach on code transformations, wherein we construct a space of scheduling candidates and rank them via a heuristic cost model to effectively handle the large diversity of computational workloads that can be expressed in this way. We present a design of a search space to which the cost model is applied, along with an associated pruning strategy to limit the number of conf","authors_text":"Andreas Kl\\\"ockner, Kaushik Kulkarni","cross_cats":["cs.MS","cs.NA","cs.PF","math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2025-06-20T20:23:42Z","title":"Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17471","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:aab755fd42d9bbab375fe42111f93a2f1322aac6e67c611611580ecea0ccfb33","target":"record","created_at":"2026-07-05T11:25:18Z","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":"59f0c031abc395fda9cab37d61e3aaf8105911f509a4dae0a7f90ca91196f056","cross_cats_sorted":["cs.MS","cs.NA","cs.PF","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2025-06-20T20:23:42Z","title_canon_sha256":"90a3f2cb6204d12a7fcb63960ecad162e9a44d6b341a79e40acac004910f7275"},"schema_version":"1.0","source":{"id":"2506.17471","kind":"arxiv","version":1}},"canonical_sha256":"819c3285712d113ae5323f8ed1d86ddbbf45c394d7ed89a0a89d4e372d1a452f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"819c3285712d113ae5323f8ed1d86ddbbf45c394d7ed89a0a89d4e372d1a452f","first_computed_at":"2026-07-05T11:25:18.129246Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:18.129246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eYkGj3Zd0dexKl5HX7RPI6agNauDqW/RUBNxCsdUKg+VtY5E01v4b28srgxApZ6gGD34+2XyJUpxfUaP/SSZAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:18.129669Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.17471","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aab755fd42d9bbab375fe42111f93a2f1322aac6e67c611611580ecea0ccfb33","sha256:e80dde94b2dd3eab9bc27212f018dc3830e2504358340154bc8adc8ee404d226"],"state_sha256":"6a42c8362486be4f0336a620736d42cf14decb27d092580b7ed567743460f224"}