{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:K7SOWLS5F24UNG47DFW4GHWNUJ","short_pith_number":"pith:K7SOWLS5","schema_version":"1.0","canonical_sha256":"57e4eb2e5d2eb9469b9f196dc31ecda27ab8b79eaedeeb24f5f0e8fc381c0801","source":{"kind":"arxiv","id":"2409.03864","version":2},"attestation_state":"computed","paper":{"title":"The MLIR Transform Dialect. Your compiler is more powerful than you think","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Albert Cohen, Martin Paul L\\\"ucke, Michel Steuwer, Oleksandr Zinenko, William S. Moses","submitted_at":"2024-09-05T19:01:47Z","abstract_excerpt":"To take full advantage of a specific hardware target, performance engineers need to gain control on compilers in order to leverage their domain knowledge about the program and hardware. Yet, modern compilers are poorly controlled, usually by configuring a sequence of coarse-grained monolithic black-box passes, or by means of predefined compiler annotations/pragmas. These can be effective, but often do not let users precisely optimize their varying compute loads. As a consequence, performance engineers have to resort to implementing custom passes for a specific optimization heuristic, requiring"},"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":"2409.03864","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-09-05T19:01:47Z","cross_cats_sorted":[],"title_canon_sha256":"f64cc21e3bf373194fb092b7b858bee6c97a690a79c23c8c20ee21cd5a0e124c","abstract_canon_sha256":"7780bd4a525750237e814cf3bdbfa84451b1883817a8783654bbceb6c05ec7ef"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:04:41.132980Z","signature_b64":"iTd8azX2CE1OJdm2BiuAPONFCOoYEnjMAb4HW+WAurcIIAw9/PiruKLRw4oYCf3i2zKSBE9Hn+rEKUD+sSc7AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"57e4eb2e5d2eb9469b9f196dc31ecda27ab8b79eaedeeb24f5f0e8fc381c0801","last_reissued_at":"2026-07-05T09:04:41.132513Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:04:41.132513Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The MLIR Transform Dialect. Your compiler is more powerful than you think","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Albert Cohen, Martin Paul L\\\"ucke, Michel Steuwer, Oleksandr Zinenko, William S. Moses","submitted_at":"2024-09-05T19:01:47Z","abstract_excerpt":"To take full advantage of a specific hardware target, performance engineers need to gain control on compilers in order to leverage their domain knowledge about the program and hardware. Yet, modern compilers are poorly controlled, usually by configuring a sequence of coarse-grained monolithic black-box passes, or by means of predefined compiler annotations/pragmas. These can be effective, but often do not let users precisely optimize their varying compute loads. As a consequence, performance engineers have to resort to implementing custom passes for a specific optimization heuristic, requiring"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.03864","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2409.03864/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":"2409.03864","created_at":"2026-07-05T09:04:41.132571+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.03864v2","created_at":"2026-07-05T09:04:41.132571+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.03864","created_at":"2026-07-05T09:04:41.132571+00:00"},{"alias_kind":"pith_short_12","alias_value":"K7SOWLS5F24U","created_at":"2026-07-05T09:04:41.132571+00:00"},{"alias_kind":"pith_short_16","alias_value":"K7SOWLS5F24UNG47","created_at":"2026-07-05T09:04:41.132571+00:00"},{"alias_kind":"pith_short_8","alias_value":"K7SOWLS5","created_at":"2026-07-05T09:04:41.132571+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.25244","citing_title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","ref_index":24,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ","json":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ.json","graph_json":"https://pith.science/api/pith-number/K7SOWLS5F24UNG47DFW4GHWNUJ/graph.json","events_json":"https://pith.science/api/pith-number/K7SOWLS5F24UNG47DFW4GHWNUJ/events.json","paper":"https://pith.science/paper/K7SOWLS5"},"agent_actions":{"view_html":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ","download_json":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ.json","view_paper":"https://pith.science/paper/K7SOWLS5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.03864&json=true","fetch_graph":"https://pith.science/api/pith-number/K7SOWLS5F24UNG47DFW4GHWNUJ/graph.json","fetch_events":"https://pith.science/api/pith-number/K7SOWLS5F24UNG47DFW4GHWNUJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ/action/storage_attestation","attest_author":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ/action/author_attestation","sign_citation":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ/action/citation_signature","submit_replication":"https://pith.science/pith/K7SOWLS5F24UNG47DFW4GHWNUJ/action/replication_record"}},"created_at":"2026-07-05T09:04:41.132571+00:00","updated_at":"2026-07-05T09:04:41.132571+00:00"}