{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:OKZGPPQ2IVLWNPURNZOQG56ZQQ","short_pith_number":"pith:OKZGPPQ2","schema_version":"1.0","canonical_sha256":"72b267be1a455766be916e5d0377d98424e0f0f523d78d808d8dc9420b3635c6","source":{"kind":"arxiv","id":"1608.02780","version":2},"attestation_state":"computed","paper":{"title":"A General Framework for Static Profiling of Parametric Resource Usage","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.PL","authors_text":"Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, Umer Liqat","submitted_at":"2016-08-09T12:13:02Z","abstract_excerpt":"Traditional static resource analyses estimate the total resource usage of a program, without executing it. In this paper we present a novel resource analysis whose aim is instead the static profiling of accumulated cost, i.e., to discover, for selected parts of the program, an estimate or bound of the resource usage accumulated in each of those parts. Traditional resource analyses are parametric in the sense that the results can be functions on input data sizes. Our static profiling is also parametric, i.e., our accumulated cost estimates are also parameterized by input data sizes. Our proposa"},"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":"1608.02780","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-09T12:13:02Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"199be86141c9487d9bc24ac8265d5721dacb49bd134a2b4a36e3a1717a46f7be","abstract_canon_sha256":"aa679e41f59fd27275cdc6393662ab4cded045fc232c84a445a65680c9938bdd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:02:12.375535Z","signature_b64":"dLgMT6VcaPSTrxkeYGaMldK3K38Szs7ssMXGDYu8dQFmjGf8SEtRUDak6zC0zvyZsTNB9cCPZNIdMS+tm1/6BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72b267be1a455766be916e5d0377d98424e0f0f523d78d808d8dc9420b3635c6","last_reissued_at":"2026-05-18T01:02:12.374820Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:02:12.374820Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A General Framework for Static Profiling of Parametric Resource Usage","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.PL","authors_text":"Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, Umer Liqat","submitted_at":"2016-08-09T12:13:02Z","abstract_excerpt":"Traditional static resource analyses estimate the total resource usage of a program, without executing it. In this paper we present a novel resource analysis whose aim is instead the static profiling of accumulated cost, i.e., to discover, for selected parts of the program, an estimate or bound of the resource usage accumulated in each of those parts. Traditional resource analyses are parametric in the sense that the results can be functions on input data sizes. Our static profiling is also parametric, i.e., our accumulated cost estimates are also parameterized by input data sizes. Our proposa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.02780","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":""},"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":"1608.02780","created_at":"2026-05-18T01:02:12.374932+00:00"},{"alias_kind":"arxiv_version","alias_value":"1608.02780v2","created_at":"2026-05-18T01:02:12.374932+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.02780","created_at":"2026-05-18T01:02:12.374932+00:00"},{"alias_kind":"pith_short_12","alias_value":"OKZGPPQ2IVLW","created_at":"2026-05-18T12:30:36.002864+00:00"},{"alias_kind":"pith_short_16","alias_value":"OKZGPPQ2IVLWNPUR","created_at":"2026-05-18T12:30:36.002864+00:00"},{"alias_kind":"pith_short_8","alias_value":"OKZGPPQ2","created_at":"2026-05-18T12:30:36.002864+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/OKZGPPQ2IVLWNPURNZOQG56ZQQ","json":"https://pith.science/pith/OKZGPPQ2IVLWNPURNZOQG56ZQQ.json","graph_json":"https://pith.science/api/pith-number/OKZGPPQ2IVLWNPURNZOQG56ZQQ/graph.json","events_json":"https://pith.science/api/pith-number/OKZGPPQ2IVLWNPURNZOQG56ZQQ/events.json","paper":"https://pith.science/paper/OKZGPPQ2"},"agent_actions":{"view_html":"https://pith.science/pith/OKZGPPQ2IVLWNPURNZOQG56ZQQ","download_json":"https://pith.science/pith/OKZGPPQ2IVLWNPURNZOQG56ZQQ.json","view_paper":"https://pith.science/paper/OKZGPPQ2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1608.02780&json=true","fetch_graph":"https://pith.science/api/pith-number/OKZGPPQ2IVLWNPURNZOQG56ZQQ/graph.json","fetch_events":"https://pith.science/api/pith-number/OKZGPPQ2IVLWNPURNZOQG56ZQQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OKZGPPQ2IVLWNPURNZOQG56ZQQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OKZGPPQ2IVLWNPURNZOQG56ZQQ/action/storage_attestation","attest_author":"https://pith.science/pith/OKZGPPQ2IVLWNPURNZOQG56ZQQ/action/author_attestation","sign_citation":"https://pith.science/pith/OKZGPPQ2IVLWNPURNZOQG56ZQQ/action/citation_signature","submit_replication":"https://pith.science/pith/OKZGPPQ2IVLWNPURNZOQG56ZQQ/action/replication_record"}},"created_at":"2026-05-18T01:02:12.374932+00:00","updated_at":"2026-05-18T01:02:12.374932+00:00"}