{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:WDRREB77HIUOHHT2WRB4XB654U","short_pith_number":"pith:WDRREB77","schema_version":"1.0","canonical_sha256":"b0e31207ff3a28e39e7ab443cb87dde53667987eb72c6dcd414b9c660a8c5604","source":{"kind":"arxiv","id":"2009.07174","version":1},"attestation_state":"computed","paper":{"title":"Term Rewriting on GPUs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Anton Wijs, Jan Friso Groote, Jan Martens, Johri van Eerd, Pieter Hijma","submitted_at":"2020-09-15T15:23:25Z","abstract_excerpt":"We present a way to implement term rewriting on a GPU. We do this by letting the GPU repeatedly perform a massively parallel evaluation of all subterms. We find that if the term rewrite systems exhibit sufficient internal parallelism, GPU rewriting substantially outperforms the CPU. Since we expect that our implementation can be further optimized, and because in any case GPUs will become much more powerful in the future, this suggests that GPUs are an interesting platform for term rewriting. As term rewriting can be viewed as a universal programming language, this also opens a route towards pr"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2009.07174","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2020-09-15T15:23:25Z","cross_cats_sorted":[],"title_canon_sha256":"96731e15f0122e5267c2c5c0f1ec25e56ed83d0395b3dca4333358c554c31e14","abstract_canon_sha256":"6b133f28b9abb77fba295fa163b7a462e014bf0e69d89986bd21f517a1061862"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:35:41.323430Z","signature_b64":"xibEJzgiyIUDaRLZA1uZqV3O7HzWeAZl3t9Bra78DOqzQVPqtkKJubO2zrVFP/lUzASu0uqFIeOD0v5LMKPrBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b0e31207ff3a28e39e7ab443cb87dde53667987eb72c6dcd414b9c660a8c5604","last_reissued_at":"2026-07-05T01:35:41.323034Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:35:41.323034Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Term Rewriting on GPUs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Anton Wijs, Jan Friso Groote, Jan Martens, Johri van Eerd, Pieter Hijma","submitted_at":"2020-09-15T15:23:25Z","abstract_excerpt":"We present a way to implement term rewriting on a GPU. We do this by letting the GPU repeatedly perform a massively parallel evaluation of all subterms. We find that if the term rewrite systems exhibit sufficient internal parallelism, GPU rewriting substantially outperforms the CPU. Since we expect that our implementation can be further optimized, and because in any case GPUs will become much more powerful in the future, this suggests that GPUs are an interesting platform for term rewriting. As term rewriting can be viewed as a universal programming language, this also opens a route towards pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.07174","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2009.07174/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2009.07174","created_at":"2026-07-05T01:35:41.323094+00:00"},{"alias_kind":"arxiv_version","alias_value":"2009.07174v1","created_at":"2026-07-05T01:35:41.323094+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.07174","created_at":"2026-07-05T01:35:41.323094+00:00"},{"alias_kind":"pith_short_12","alias_value":"WDRREB77HIUO","created_at":"2026-07-05T01:35:41.323094+00:00"},{"alias_kind":"pith_short_16","alias_value":"WDRREB77HIUOHHT2","created_at":"2026-07-05T01:35:41.323094+00:00"},{"alias_kind":"pith_short_8","alias_value":"WDRREB77","created_at":"2026-07-05T01:35:41.323094+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U","json":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U.json","graph_json":"https://pith.science/api/pith-number/WDRREB77HIUOHHT2WRB4XB654U/graph.json","events_json":"https://pith.science/api/pith-number/WDRREB77HIUOHHT2WRB4XB654U/events.json","paper":"https://pith.science/paper/WDRREB77"},"agent_actions":{"view_html":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U","download_json":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U.json","view_paper":"https://pith.science/paper/WDRREB77","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2009.07174&json=true","fetch_graph":"https://pith.science/api/pith-number/WDRREB77HIUOHHT2WRB4XB654U/graph.json","fetch_events":"https://pith.science/api/pith-number/WDRREB77HIUOHHT2WRB4XB654U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U/action/storage_attestation","attest_author":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U/action/author_attestation","sign_citation":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U/action/citation_signature","submit_replication":"https://pith.science/pith/WDRREB77HIUOHHT2WRB4XB654U/action/replication_record"}},"created_at":"2026-07-05T01:35:41.323094+00:00","updated_at":"2026-07-05T01:35:41.323094+00:00"}