{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:B7ZNLXZTML3AVEZYHBCGS3VFNA","short_pith_number":"pith:B7ZNLXZT","schema_version":"1.0","canonical_sha256":"0ff2d5df3362f60a93383844696ea5681dcf4f088773f010b81ab9620002e6e5","source":{"kind":"arxiv","id":"2605.19652","version":1},"attestation_state":"computed","paper":{"title":"Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aaryaa Moharir, Nidhi Majoju, Ravishka Rathnasuriya, Tao Xie, Tingxi Li, Wei Yang, Zihe Song","submitted_at":"2026-05-19T10:42:29Z","abstract_excerpt":"Tile-based programming frameworks are increasingly adopted to write high-performance GPU kernels in domains such as deep learning and scientific computing. While these frameworks enhance productivity and hardware utilization, their multi-stage compilation pipelines introduce distinct code generation bugs that are tightly coupled to input shapes, data types, and backend targets. These bugs often manifest as silent correctness or performance issues, making them difficult to detect using existing compiler testing tools. Additionally, the unique programming conventions of tile domain-specific lang"},"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":"2605.19652","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-19T10:42:29Z","cross_cats_sorted":[],"title_canon_sha256":"390c9009c66feaeae0a68fd7d0eaf3e64ea02c877434ffbdc2a233c1a24003d2","abstract_canon_sha256":"a7ebc2a186a3562e5856258463fa2583141a0c12a47dec93e5c8c38f4f4def9a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:05:55.972228Z","signature_b64":"TE4QVB8s6A3bNjJVcttvKvcNncBlrv+yDNMMSYLgWgIAuONveeU17DxctOwGMMFi4pw7uCK4aLY8yAhk3sJ2AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ff2d5df3362f60a93383844696ea5681dcf4f088773f010b81ab9620002e6e5","last_reissued_at":"2026-05-20T01:05:55.971489Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:05:55.971489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aaryaa Moharir, Nidhi Majoju, Ravishka Rathnasuriya, Tao Xie, Tingxi Li, Wei Yang, Zihe Song","submitted_at":"2026-05-19T10:42:29Z","abstract_excerpt":"Tile-based programming frameworks are increasingly adopted to write high-performance GPU kernels in domains such as deep learning and scientific computing. While these frameworks enhance productivity and hardware utilization, their multi-stage compilation pipelines introduce distinct code generation bugs that are tightly coupled to input shapes, data types, and backend targets. These bugs often manifest as silent correctness or performance issues, making them difficult to detect using existing compiler testing tools. Additionally, the unique programming conventions of tile domain-specific lang"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.19652","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/2605.19652/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":"2605.19652","created_at":"2026-05-20T01:05:55.971576+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.19652v1","created_at":"2026-05-20T01:05:55.971576+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.19652","created_at":"2026-05-20T01:05:55.971576+00:00"},{"alias_kind":"pith_short_12","alias_value":"B7ZNLXZTML3A","created_at":"2026-05-20T01:05:55.971576+00:00"},{"alias_kind":"pith_short_16","alias_value":"B7ZNLXZTML3AVEZY","created_at":"2026-05-20T01:05:55.971576+00:00"},{"alias_kind":"pith_short_8","alias_value":"B7ZNLXZT","created_at":"2026-05-20T01:05:55.971576+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/B7ZNLXZTML3AVEZYHBCGS3VFNA","json":"https://pith.science/pith/B7ZNLXZTML3AVEZYHBCGS3VFNA.json","graph_json":"https://pith.science/api/pith-number/B7ZNLXZTML3AVEZYHBCGS3VFNA/graph.json","events_json":"https://pith.science/api/pith-number/B7ZNLXZTML3AVEZYHBCGS3VFNA/events.json","paper":"https://pith.science/paper/B7ZNLXZT"},"agent_actions":{"view_html":"https://pith.science/pith/B7ZNLXZTML3AVEZYHBCGS3VFNA","download_json":"https://pith.science/pith/B7ZNLXZTML3AVEZYHBCGS3VFNA.json","view_paper":"https://pith.science/paper/B7ZNLXZT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.19652&json=true","fetch_graph":"https://pith.science/api/pith-number/B7ZNLXZTML3AVEZYHBCGS3VFNA/graph.json","fetch_events":"https://pith.science/api/pith-number/B7ZNLXZTML3AVEZYHBCGS3VFNA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/B7ZNLXZTML3AVEZYHBCGS3VFNA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/B7ZNLXZTML3AVEZYHBCGS3VFNA/action/storage_attestation","attest_author":"https://pith.science/pith/B7ZNLXZTML3AVEZYHBCGS3VFNA/action/author_attestation","sign_citation":"https://pith.science/pith/B7ZNLXZTML3AVEZYHBCGS3VFNA/action/citation_signature","submit_replication":"https://pith.science/pith/B7ZNLXZTML3AVEZYHBCGS3VFNA/action/replication_record"}},"created_at":"2026-05-20T01:05:55.971576+00:00","updated_at":"2026-05-20T01:05:55.971576+00:00"}