{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:DQMISSBEXTZUIO3HHOYEZ3WN6X","short_pith_number":"pith:DQMISSBE","schema_version":"1.0","canonical_sha256":"1c18894824bcf3443b673bb04ceecdf5ef35f3f44d74fd8305ff8e5e11f813a9","source":{"kind":"arxiv","id":"2503.10855","version":1},"attestation_state":"computed","paper":{"title":"Hercules: A Compiler for Productive Programming of Heterogeneous Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aaron Councilman, Praneet Rathi, Russel Arbore, Ryan Ziegler, Vikram Adve, Xavier Routh","submitted_at":"2025-03-13T20:09:09Z","abstract_excerpt":"Modern computing systems increasingly rely on composing heterogeneous devices to improve performance and efficiency. Programming these systems is often unproductive: algorithm implementations must be coupled to system-specific logic, including device-specific optimizations, partitioning, and inter-device communication and synchronization, which requires developing different programs for different system configurations. We propose the Juno language, which represents general purpose applications in an imperative form that can be transformed into parallel, optimized, system-specific code using an"},"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":"2503.10855","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-13T20:09:09Z","cross_cats_sorted":[],"title_canon_sha256":"66445ad412a9b2a728c8c8407214f082d97968dd7be407b30768485af329c06f","abstract_canon_sha256":"799dbf29f3f03ab9e6199fbe46c027bdf86a6f5b135efe7ba19c0d6ae4881e47"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:31:06.903829Z","signature_b64":"wbDpXap0lCByZ9IXAtexU27DszS4RLrkuPuEqGpVIwltnoSUuBiiGkQ4uuY6A9lqmRLg8fwq4jNjvL4XUAxqBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c18894824bcf3443b673bb04ceecdf5ef35f3f44d74fd8305ff8e5e11f813a9","last_reissued_at":"2026-07-05T10:31:06.903356Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:31:06.903356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hercules: A Compiler for Productive Programming of Heterogeneous Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aaron Councilman, Praneet Rathi, Russel Arbore, Ryan Ziegler, Vikram Adve, Xavier Routh","submitted_at":"2025-03-13T20:09:09Z","abstract_excerpt":"Modern computing systems increasingly rely on composing heterogeneous devices to improve performance and efficiency. Programming these systems is often unproductive: algorithm implementations must be coupled to system-specific logic, including device-specific optimizations, partitioning, and inter-device communication and synchronization, which requires developing different programs for different system configurations. We propose the Juno language, which represents general purpose applications in an imperative form that can be transformed into parallel, optimized, system-specific code using an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.10855","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/2503.10855/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":"2503.10855","created_at":"2026-07-05T10:31:06.903410+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.10855v1","created_at":"2026-07-05T10:31:06.903410+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.10855","created_at":"2026-07-05T10:31:06.903410+00:00"},{"alias_kind":"pith_short_12","alias_value":"DQMISSBEXTZU","created_at":"2026-07-05T10:31:06.903410+00:00"},{"alias_kind":"pith_short_16","alias_value":"DQMISSBEXTZUIO3H","created_at":"2026-07-05T10:31:06.903410+00:00"},{"alias_kind":"pith_short_8","alias_value":"DQMISSBE","created_at":"2026-07-05T10:31:06.903410+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/DQMISSBEXTZUIO3HHOYEZ3WN6X","json":"https://pith.science/pith/DQMISSBEXTZUIO3HHOYEZ3WN6X.json","graph_json":"https://pith.science/api/pith-number/DQMISSBEXTZUIO3HHOYEZ3WN6X/graph.json","events_json":"https://pith.science/api/pith-number/DQMISSBEXTZUIO3HHOYEZ3WN6X/events.json","paper":"https://pith.science/paper/DQMISSBE"},"agent_actions":{"view_html":"https://pith.science/pith/DQMISSBEXTZUIO3HHOYEZ3WN6X","download_json":"https://pith.science/pith/DQMISSBEXTZUIO3HHOYEZ3WN6X.json","view_paper":"https://pith.science/paper/DQMISSBE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.10855&json=true","fetch_graph":"https://pith.science/api/pith-number/DQMISSBEXTZUIO3HHOYEZ3WN6X/graph.json","fetch_events":"https://pith.science/api/pith-number/DQMISSBEXTZUIO3HHOYEZ3WN6X/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DQMISSBEXTZUIO3HHOYEZ3WN6X/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DQMISSBEXTZUIO3HHOYEZ3WN6X/action/storage_attestation","attest_author":"https://pith.science/pith/DQMISSBEXTZUIO3HHOYEZ3WN6X/action/author_attestation","sign_citation":"https://pith.science/pith/DQMISSBEXTZUIO3HHOYEZ3WN6X/action/citation_signature","submit_replication":"https://pith.science/pith/DQMISSBEXTZUIO3HHOYEZ3WN6X/action/replication_record"}},"created_at":"2026-07-05T10:31:06.903410+00:00","updated_at":"2026-07-05T10:31:06.903410+00:00"}