{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:KUVJUHD4FYHUR4KCCDKWGSXI2B","short_pith_number":"pith:KUVJUHD4","schema_version":"1.0","canonical_sha256":"552a9a1c7c2e0f48f14210d5634ae8d05b671f56634113a5ba37bb4001552a15","source":{"kind":"arxiv","id":"1705.07575","version":1},"attestation_state":"computed","paper":{"title":"Mira: A Framework for Static Performance Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PF","authors_text":"Boyana Norris, Kewen Meng","submitted_at":"2017-05-22T06:31:22Z","abstract_excerpt":"The performance model of an application can pro- vide understanding about its runtime behavior on particular hardware. Such information can be analyzed by developers for performance tuning. However, model building and analyzing is frequently ignored during software development until perfor- mance problems arise because they require significant expertise and can involve many time-consuming application runs. In this paper, we propose a fast, accurate, flexible and user-friendly tool, Mira, for generating performance models by applying static program analysis, targeting scientific applications ru"},"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":"1705.07575","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2017-05-22T06:31:22Z","cross_cats_sorted":[],"title_canon_sha256":"ea32b5794671c19fb0677e8a118b101878a44be2053eb8d5dda5d44058caa9c4","abstract_canon_sha256":"d01a95bc94f190c3eb06e5c554786cc70b35722a1f313799ebc95de013814840"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:05.158381Z","signature_b64":"gjzXapIRywkMr/R2R2KD6eqU/Di3Ih2wvSZFMjoC5qA1qW3yoPgPrnojNCs1StNy79u0JZxFvOfGI5S2AYOYAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"552a9a1c7c2e0f48f14210d5634ae8d05b671f56634113a5ba37bb4001552a15","last_reissued_at":"2026-05-18T00:44:05.157681Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:05.157681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Mira: A Framework for Static Performance Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PF","authors_text":"Boyana Norris, Kewen Meng","submitted_at":"2017-05-22T06:31:22Z","abstract_excerpt":"The performance model of an application can pro- vide understanding about its runtime behavior on particular hardware. Such information can be analyzed by developers for performance tuning. However, model building and analyzing is frequently ignored during software development until perfor- mance problems arise because they require significant expertise and can involve many time-consuming application runs. In this paper, we propose a fast, accurate, flexible and user-friendly tool, Mira, for generating performance models by applying static program analysis, targeting scientific applications ru"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.07575","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":"1705.07575","created_at":"2026-05-18T00:44:05.157782+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.07575v1","created_at":"2026-05-18T00:44:05.157782+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.07575","created_at":"2026-05-18T00:44:05.157782+00:00"},{"alias_kind":"pith_short_12","alias_value":"KUVJUHD4FYHU","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_16","alias_value":"KUVJUHD4FYHUR4KC","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_8","alias_value":"KUVJUHD4","created_at":"2026-05-18T12:31:28.150371+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/KUVJUHD4FYHUR4KCCDKWGSXI2B","json":"https://pith.science/pith/KUVJUHD4FYHUR4KCCDKWGSXI2B.json","graph_json":"https://pith.science/api/pith-number/KUVJUHD4FYHUR4KCCDKWGSXI2B/graph.json","events_json":"https://pith.science/api/pith-number/KUVJUHD4FYHUR4KCCDKWGSXI2B/events.json","paper":"https://pith.science/paper/KUVJUHD4"},"agent_actions":{"view_html":"https://pith.science/pith/KUVJUHD4FYHUR4KCCDKWGSXI2B","download_json":"https://pith.science/pith/KUVJUHD4FYHUR4KCCDKWGSXI2B.json","view_paper":"https://pith.science/paper/KUVJUHD4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.07575&json=true","fetch_graph":"https://pith.science/api/pith-number/KUVJUHD4FYHUR4KCCDKWGSXI2B/graph.json","fetch_events":"https://pith.science/api/pith-number/KUVJUHD4FYHUR4KCCDKWGSXI2B/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KUVJUHD4FYHUR4KCCDKWGSXI2B/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KUVJUHD4FYHUR4KCCDKWGSXI2B/action/storage_attestation","attest_author":"https://pith.science/pith/KUVJUHD4FYHUR4KCCDKWGSXI2B/action/author_attestation","sign_citation":"https://pith.science/pith/KUVJUHD4FYHUR4KCCDKWGSXI2B/action/citation_signature","submit_replication":"https://pith.science/pith/KUVJUHD4FYHUR4KCCDKWGSXI2B/action/replication_record"}},"created_at":"2026-05-18T00:44:05.157782+00:00","updated_at":"2026-05-18T00:44:05.157782+00:00"}