{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:G5QZGVLCBYBNOFR3MHK4OU5ASY","short_pith_number":"pith:G5QZGVLC","schema_version":"1.0","canonical_sha256":"37619355620e02d7163b61d5c753a0960896ddcdb178e2cf1848598ad42cae50","source":{"kind":"arxiv","id":"1603.03011","version":2},"attestation_state":"computed","paper":{"title":"Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Guillermo Vigueras, Julio Mari\\~no, Manuel Carro, Salvador Tamarit","submitted_at":"2016-03-09T19:42:59Z","abstract_excerpt":"Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with semantic annotations is transformed into functionally equivalent code better suited for a given platform. The transformation steps are formalized (and implemented) as rules which can be fired when certain syntactic and semantic conditions are met. These conditions are to be fulfilled by program properties which can be automatically inferred or, al"},"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":"1603.03011","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-03-09T19:42:59Z","cross_cats_sorted":[],"title_canon_sha256":"947c3b65c4e17f12a7b00689344ae95e70e423c4418bf44a044c7b9bdaa65974","abstract_canon_sha256":"8fe81b81f4f843c4dfea3fda8eb1ddd364c975315d3184a41bc92db038325617"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:16.939265Z","signature_b64":"0bfJeYU7wngJXaOFqI5av1fxD97cC0bL3MW48avUbdJG9CR9LZJk0gCcRegsiy8YT+WQw2D2JQ5XsST6Zf9OCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37619355620e02d7163b61d5c753a0960896ddcdb178e2cf1848598ad42cae50","last_reissued_at":"2026-05-18T01:19:16.938811Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:16.938811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Guillermo Vigueras, Julio Mari\\~no, Manuel Carro, Salvador Tamarit","submitted_at":"2016-03-09T19:42:59Z","abstract_excerpt":"Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with semantic annotations is transformed into functionally equivalent code better suited for a given platform. The transformation steps are formalized (and implemented) as rules which can be fired when certain syntactic and semantic conditions are met. These conditions are to be fulfilled by program properties which can be automatically inferred or, al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.03011","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1603.03011","created_at":"2026-05-18T01:19:16.938886+00:00"},{"alias_kind":"arxiv_version","alias_value":"1603.03011v2","created_at":"2026-05-18T01:19:16.938886+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.03011","created_at":"2026-05-18T01:19:16.938886+00:00"},{"alias_kind":"pith_short_12","alias_value":"G5QZGVLCBYBN","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"G5QZGVLCBYBNOFR3","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"G5QZGVLC","created_at":"2026-05-18T12:30:15.759754+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/G5QZGVLCBYBNOFR3MHK4OU5ASY","json":"https://pith.science/pith/G5QZGVLCBYBNOFR3MHK4OU5ASY.json","graph_json":"https://pith.science/api/pith-number/G5QZGVLCBYBNOFR3MHK4OU5ASY/graph.json","events_json":"https://pith.science/api/pith-number/G5QZGVLCBYBNOFR3MHK4OU5ASY/events.json","paper":"https://pith.science/paper/G5QZGVLC"},"agent_actions":{"view_html":"https://pith.science/pith/G5QZGVLCBYBNOFR3MHK4OU5ASY","download_json":"https://pith.science/pith/G5QZGVLCBYBNOFR3MHK4OU5ASY.json","view_paper":"https://pith.science/paper/G5QZGVLC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1603.03011&json=true","fetch_graph":"https://pith.science/api/pith-number/G5QZGVLCBYBNOFR3MHK4OU5ASY/graph.json","fetch_events":"https://pith.science/api/pith-number/G5QZGVLCBYBNOFR3MHK4OU5ASY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G5QZGVLCBYBNOFR3MHK4OU5ASY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G5QZGVLCBYBNOFR3MHK4OU5ASY/action/storage_attestation","attest_author":"https://pith.science/pith/G5QZGVLCBYBNOFR3MHK4OU5ASY/action/author_attestation","sign_citation":"https://pith.science/pith/G5QZGVLCBYBNOFR3MHK4OU5ASY/action/citation_signature","submit_replication":"https://pith.science/pith/G5QZGVLCBYBNOFR3MHK4OU5ASY/action/replication_record"}},"created_at":"2026-05-18T01:19:16.938886+00:00","updated_at":"2026-05-18T01:19:16.938886+00:00"}