{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:2C44GE3XASO4NM6XORAJNTPOJS","short_pith_number":"pith:2C44GE3X","schema_version":"1.0","canonical_sha256":"d0b9c31377049dc6b3d7744096cdee4c90e0dfc0dcc969d6d84bb21b4fd6d1f6","source":{"kind":"arxiv","id":"1409.1914","version":1},"attestation_state":"computed","paper":{"title":"A Tale of Three Runtimes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.DC","authors_text":"Benoit Meister, M. Harper Langston, Muthu Baskaran, Nicolas Vasilache, Richard Lethin, Sanket Tavarageri, Tom Henretty","submitted_at":"2014-09-05T19:58:40Z","abstract_excerpt":"This contribution discusses the automatic generation of event-driven, tuple-space based programs for task-oriented execution models from a sequential C specification. We developed a hierarchical mapping solution using auto-parallelizing compiler technology to target three different runtimes relying on event-driven tasks (EDTs). Our solution benefits from the important observation that loop types encode short, transitive relations among EDTs that are compact and efficiently evaluated at runtime. In this context, permutable loops are of particular importance as they translate immediately into co"},"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":"1409.1914","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-09-05T19:58:40Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"f88be425cb3ce92becd2bc13db3c4356533b806663b1fe19b78a061cf68bec8d","abstract_canon_sha256":"5aace04ebc769969cefb361e90053b20dfa883ed4adb3ff378b8ef2ad8c0078a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:24.864433Z","signature_b64":"iPGwtvJ8XCV+T44cbimC7mw3a0rHk4TNwsBEmzrMBW4txMelhIyblQ6GzQ8DFnaYAz5KaxT3EATvQCrxygaLBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0b9c31377049dc6b3d7744096cdee4c90e0dfc0dcc969d6d84bb21b4fd6d1f6","last_reissued_at":"2026-05-18T02:43:24.863930Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:24.863930Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Tale of Three Runtimes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.DC","authors_text":"Benoit Meister, M. Harper Langston, Muthu Baskaran, Nicolas Vasilache, Richard Lethin, Sanket Tavarageri, Tom Henretty","submitted_at":"2014-09-05T19:58:40Z","abstract_excerpt":"This contribution discusses the automatic generation of event-driven, tuple-space based programs for task-oriented execution models from a sequential C specification. We developed a hierarchical mapping solution using auto-parallelizing compiler technology to target three different runtimes relying on event-driven tasks (EDTs). Our solution benefits from the important observation that loop types encode short, transitive relations among EDTs that are compact and efficiently evaluated at runtime. In this context, permutable loops are of particular importance as they translate immediately into co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.1914","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1409.1914","created_at":"2026-05-18T02:43:24.864013+00:00"},{"alias_kind":"arxiv_version","alias_value":"1409.1914v1","created_at":"2026-05-18T02:43:24.864013+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.1914","created_at":"2026-05-18T02:43:24.864013+00:00"},{"alias_kind":"pith_short_12","alias_value":"2C44GE3XASO4","created_at":"2026-05-18T12:28:09.283467+00:00"},{"alias_kind":"pith_short_16","alias_value":"2C44GE3XASO4NM6X","created_at":"2026-05-18T12:28:09.283467+00:00"},{"alias_kind":"pith_short_8","alias_value":"2C44GE3X","created_at":"2026-05-18T12:28:09.283467+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/2C44GE3XASO4NM6XORAJNTPOJS","json":"https://pith.science/pith/2C44GE3XASO4NM6XORAJNTPOJS.json","graph_json":"https://pith.science/api/pith-number/2C44GE3XASO4NM6XORAJNTPOJS/graph.json","events_json":"https://pith.science/api/pith-number/2C44GE3XASO4NM6XORAJNTPOJS/events.json","paper":"https://pith.science/paper/2C44GE3X"},"agent_actions":{"view_html":"https://pith.science/pith/2C44GE3XASO4NM6XORAJNTPOJS","download_json":"https://pith.science/pith/2C44GE3XASO4NM6XORAJNTPOJS.json","view_paper":"https://pith.science/paper/2C44GE3X","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1409.1914&json=true","fetch_graph":"https://pith.science/api/pith-number/2C44GE3XASO4NM6XORAJNTPOJS/graph.json","fetch_events":"https://pith.science/api/pith-number/2C44GE3XASO4NM6XORAJNTPOJS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2C44GE3XASO4NM6XORAJNTPOJS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2C44GE3XASO4NM6XORAJNTPOJS/action/storage_attestation","attest_author":"https://pith.science/pith/2C44GE3XASO4NM6XORAJNTPOJS/action/author_attestation","sign_citation":"https://pith.science/pith/2C44GE3XASO4NM6XORAJNTPOJS/action/citation_signature","submit_replication":"https://pith.science/pith/2C44GE3XASO4NM6XORAJNTPOJS/action/replication_record"}},"created_at":"2026-05-18T02:43:24.864013+00:00","updated_at":"2026-05-18T02:43:24.864013+00:00"}