{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:J2MJ6EIUIUQSLCYKTAECYIKH6I","short_pith_number":"pith:J2MJ6EIU","canonical_record":{"source":{"id":"1512.09369","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-31T20:57:50Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"155bc5f8d9a09a42f0458d116a867594035643c92bf2ece3cf7d56f31bd4b000","abstract_canon_sha256":"50d18175b5a2fdaa5ea24a36ab64095d4526159680767591a8bf93371c15df82"},"schema_version":"1.0"},"canonical_sha256":"4e989f11144521258b0a98082c2147f22b214bdc59b8185ca9b1cde339096173","source":{"kind":"arxiv","id":"1512.09369","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.09369","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"arxiv_version","alias_value":"1512.09369v1","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.09369","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"pith_short_12","alias_value":"J2MJ6EIUIUQS","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"J2MJ6EIUIUQSLCYK","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"J2MJ6EIU","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:J2MJ6EIUIUQSLCYKTAECYIKH6I","target":"record","payload":{"canonical_record":{"source":{"id":"1512.09369","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-31T20:57:50Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"155bc5f8d9a09a42f0458d116a867594035643c92bf2ece3cf7d56f31bd4b000","abstract_canon_sha256":"50d18175b5a2fdaa5ea24a36ab64095d4526159680767591a8bf93371c15df82"},"schema_version":"1.0"},"canonical_sha256":"4e989f11144521258b0a98082c2147f22b214bdc59b8185ca9b1cde339096173","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:32.533390Z","signature_b64":"J0DSzxtvaRKUwIUhEsOfpuVrlyPe45pxd2T1iZiRWCZeVANZf1NQBICMqk3SsrA8w/v2VYlJGKpi3Ql89N8nDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e989f11144521258b0a98082c2147f22b214bdc59b8185ca9b1cde339096173","last_reissued_at":"2026-05-18T01:23:32.532707Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:32.532707Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.09369","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:23:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hWu0aV92RJygYB1u4x9oMidk3h2MDy6dSfxuXAnti5+GNuLVffyHhH/m5MYsuhXfYxKUL1SjyJYZQ55qGX8rBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T04:47:52.594167Z"},"content_sha256":"91c51b732dfd540015ad0b5815871c64c7b9fde52cf409bdd16eec2491566091","schema_version":"1.0","event_id":"sha256:91c51b732dfd540015ad0b5815871c64c7b9fde52cf409bdd16eec2491566091"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:J2MJ6EIUIUQSLCYKTAECYIKH6I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Energy Consumption Verification via Static Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.PL","authors_text":"Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, Remy Haemmerle, Umer Liqat","submitted_at":"2015-12-31T20:57:50Z","abstract_excerpt":"In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs. Such specifications can include both lower and upper bounds on energy usage, and they can express intervals within which energy usage is to be certified to be within such bounds. The bounds of the intervals can be given in general as functions on input data sizes. Our verification system can prove whether such energy usage specifications are met or not. It can also infer the particular conditions under which the specific"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.09369","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:23:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dkqD1tpg+T6qlHGRrgoKfWL2RSmdxyOQplP+v8Yj+q6c6bMKCR7jGPI3LAv2FSupyavI/2E18I+Eb6cHc8vbBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T04:47:52.594833Z"},"content_sha256":"a6458335a1e125f20c611462d0c9b0705e013ac08dc279de4b662c160e1e8aca","schema_version":"1.0","event_id":"sha256:a6458335a1e125f20c611462d0c9b0705e013ac08dc279de4b662c160e1e8aca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J2MJ6EIUIUQSLCYKTAECYIKH6I/bundle.json","state_url":"https://pith.science/pith/J2MJ6EIUIUQSLCYKTAECYIKH6I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J2MJ6EIUIUQSLCYKTAECYIKH6I/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-04T04:47:52Z","links":{"resolver":"https://pith.science/pith/J2MJ6EIUIUQSLCYKTAECYIKH6I","bundle":"https://pith.science/pith/J2MJ6EIUIUQSLCYKTAECYIKH6I/bundle.json","state":"https://pith.science/pith/J2MJ6EIUIUQSLCYKTAECYIKH6I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J2MJ6EIUIUQSLCYKTAECYIKH6I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:J2MJ6EIUIUQSLCYKTAECYIKH6I","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"50d18175b5a2fdaa5ea24a36ab64095d4526159680767591a8bf93371c15df82","cross_cats_sorted":["cs.DC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-31T20:57:50Z","title_canon_sha256":"155bc5f8d9a09a42f0458d116a867594035643c92bf2ece3cf7d56f31bd4b000"},"schema_version":"1.0","source":{"id":"1512.09369","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.09369","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"arxiv_version","alias_value":"1512.09369v1","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.09369","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"pith_short_12","alias_value":"J2MJ6EIUIUQS","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"J2MJ6EIUIUQSLCYK","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"J2MJ6EIU","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:a6458335a1e125f20c611462d0c9b0705e013ac08dc279de4b662c160e1e8aca","target":"graph","created_at":"2026-05-18T01:23:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs. Such specifications can include both lower and upper bounds on energy usage, and they can express intervals within which energy usage is to be certified to be within such bounds. The bounds of the intervals can be given in general as functions on input data sizes. Our verification system can prove whether such energy usage specifications are met or not. It can also infer the particular conditions under which the specific","authors_text":"Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, Remy Haemmerle, Umer Liqat","cross_cats":["cs.DC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-31T20:57:50Z","title":"Towards Energy Consumption Verification via Static Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.09369","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:91c51b732dfd540015ad0b5815871c64c7b9fde52cf409bdd16eec2491566091","target":"record","created_at":"2026-05-18T01:23:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"50d18175b5a2fdaa5ea24a36ab64095d4526159680767591a8bf93371c15df82","cross_cats_sorted":["cs.DC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-31T20:57:50Z","title_canon_sha256":"155bc5f8d9a09a42f0458d116a867594035643c92bf2ece3cf7d56f31bd4b000"},"schema_version":"1.0","source":{"id":"1512.09369","kind":"arxiv","version":1}},"canonical_sha256":"4e989f11144521258b0a98082c2147f22b214bdc59b8185ca9b1cde339096173","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e989f11144521258b0a98082c2147f22b214bdc59b8185ca9b1cde339096173","first_computed_at":"2026-05-18T01:23:32.532707Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:32.532707Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J0DSzxtvaRKUwIUhEsOfpuVrlyPe45pxd2T1iZiRWCZeVANZf1NQBICMqk3SsrA8w/v2VYlJGKpi3Ql89N8nDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:32.533390Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.09369","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91c51b732dfd540015ad0b5815871c64c7b9fde52cf409bdd16eec2491566091","sha256:a6458335a1e125f20c611462d0c9b0705e013ac08dc279de4b662c160e1e8aca"],"state_sha256":"6ce9270123764536a92f949bf6254ea9cbb700dc8e7696de38afe76d4cf09323"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"67UMAmOxCXZ0sYDvmJS7bQ+mtauvmxSY2GoFFd5+MnrbkcsrFH0ldinB1VWXOXYfyW/weZHh1Bf2gPvKChXxCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T04:47:52.598414Z","bundle_sha256":"497afaa70b18126dac64ddb1c6c594ef25de011c6012171431d08e809c623522"}}