{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:OIN646RUJ5LIVJ2TASDOYFMMH2","short_pith_number":"pith:OIN646RU","schema_version":"1.0","canonical_sha256":"721bee7a344f568aa7530486ec158c3ea4a12c8644d5008f349c89f78f351b03","source":{"kind":"arxiv","id":"2501.09872","version":1},"attestation_state":"computed","paper":{"title":"Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aakash Kulkarni, Christopher Terrazas, Manish Motwani, Matthew Davis, Yunhan Qiao, Ziyan Chen","submitted_at":"2025-01-16T22:58:50Z","abstract_excerpt":"Scientific advancements rely on high-performance computing (HPC) applications that model real-world phenomena through simulations. These applications process vast amounts of data on specialized accelerators (eg., GPUs) using special libraries. Heterogeneous bugs occur in these applications when managing data movement across different platforms, such as CPUs and GPUs, leading to divergent behavior when using heterogeneous platforms compared to using only CPUs. Existing software testing techniques often fail to detect such bugs because either they do not account for platform-specific characteris"},"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":"2501.09872","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-01-16T22:58:50Z","cross_cats_sorted":[],"title_canon_sha256":"62d6cc0b5139b0b2d6cd7908928cc63f480ebaf670004ea1271ed96768373606","abstract_canon_sha256":"19d73bbe31234f9515a8bfb9ae853e33fcc5258ef4cedaca4aa56b6c220a2e1a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:02:12.680007Z","signature_b64":"VrsfyH6BLdeuPfYRJJERnOJGYYcXA0k0VTXXi9kogPte5R7gO7k2RhDGAj0VzHclEwVA8FYK8WJc8sSCC95xDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"721bee7a344f568aa7530486ec158c3ea4a12c8644d5008f349c89f78f351b03","last_reissued_at":"2026-07-05T10:02:12.679553Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:02:12.679553Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aakash Kulkarni, Christopher Terrazas, Manish Motwani, Matthew Davis, Yunhan Qiao, Ziyan Chen","submitted_at":"2025-01-16T22:58:50Z","abstract_excerpt":"Scientific advancements rely on high-performance computing (HPC) applications that model real-world phenomena through simulations. These applications process vast amounts of data on specialized accelerators (eg., GPUs) using special libraries. Heterogeneous bugs occur in these applications when managing data movement across different platforms, such as CPUs and GPUs, leading to divergent behavior when using heterogeneous platforms compared to using only CPUs. Existing software testing techniques often fail to detect such bugs because either they do not account for platform-specific characteris"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.09872","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/2501.09872/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":"2501.09872","created_at":"2026-07-05T10:02:12.679612+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.09872v1","created_at":"2026-07-05T10:02:12.679612+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.09872","created_at":"2026-07-05T10:02:12.679612+00:00"},{"alias_kind":"pith_short_12","alias_value":"OIN646RUJ5LI","created_at":"2026-07-05T10:02:12.679612+00:00"},{"alias_kind":"pith_short_16","alias_value":"OIN646RUJ5LIVJ2T","created_at":"2026-07-05T10:02:12.679612+00:00"},{"alias_kind":"pith_short_8","alias_value":"OIN646RU","created_at":"2026-07-05T10:02:12.679612+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.04854","citing_title":"Assessing Large Language Models for Stabilizing Numerical Expressions in Scientific Software","ref_index":12,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2","json":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2.json","graph_json":"https://pith.science/api/pith-number/OIN646RUJ5LIVJ2TASDOYFMMH2/graph.json","events_json":"https://pith.science/api/pith-number/OIN646RUJ5LIVJ2TASDOYFMMH2/events.json","paper":"https://pith.science/paper/OIN646RU"},"agent_actions":{"view_html":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2","download_json":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2.json","view_paper":"https://pith.science/paper/OIN646RU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.09872&json=true","fetch_graph":"https://pith.science/api/pith-number/OIN646RUJ5LIVJ2TASDOYFMMH2/graph.json","fetch_events":"https://pith.science/api/pith-number/OIN646RUJ5LIVJ2TASDOYFMMH2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2/action/storage_attestation","attest_author":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2/action/author_attestation","sign_citation":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2/action/citation_signature","submit_replication":"https://pith.science/pith/OIN646RUJ5LIVJ2TASDOYFMMH2/action/replication_record"}},"created_at":"2026-07-05T10:02:12.679612+00:00","updated_at":"2026-07-05T10:02:12.679612+00:00"}