{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:2CT6UOUINAVS3PPJLO6SSN46NM","short_pith_number":"pith:2CT6UOUI","canonical_record":{"source":{"id":"1711.08847","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-24T00:55:12Z","cross_cats_sorted":[],"title_canon_sha256":"fa16fba45fa9274d921c2954c10fd951ee6f8a92f9ceabfaf399fb532bd78c06","abstract_canon_sha256":"daf475fc7c78e3e69da6235052108d857822cda994bad46966aae99aa75faef6"},"schema_version":"1.0"},"canonical_sha256":"d0a7ea3a88682b2dbde95bbd29379e6b21ec9d98bbe3eed894fe23c322ed0e45","source":{"kind":"arxiv","id":"1711.08847","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.08847","created_at":"2026-05-18T00:29:41Z"},{"alias_kind":"arxiv_version","alias_value":"1711.08847v1","created_at":"2026-05-18T00:29:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.08847","created_at":"2026-05-18T00:29:41Z"},{"alias_kind":"pith_short_12","alias_value":"2CT6UOUINAVS","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2CT6UOUINAVS3PPJ","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2CT6UOUI","created_at":"2026-05-18T12:30:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:2CT6UOUINAVS3PPJLO6SSN46NM","target":"record","payload":{"canonical_record":{"source":{"id":"1711.08847","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-24T00:55:12Z","cross_cats_sorted":[],"title_canon_sha256":"fa16fba45fa9274d921c2954c10fd951ee6f8a92f9ceabfaf399fb532bd78c06","abstract_canon_sha256":"daf475fc7c78e3e69da6235052108d857822cda994bad46966aae99aa75faef6"},"schema_version":"1.0"},"canonical_sha256":"d0a7ea3a88682b2dbde95bbd29379e6b21ec9d98bbe3eed894fe23c322ed0e45","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:41.985634Z","signature_b64":"EyEGt+jsbP9pugT6aVDQ8UP459sAn4aTq0xVI8X42xlFMZ5sCgSIE9c5AmvQ8JmjML1eG+A21p8RCvb86j5yBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0a7ea3a88682b2dbde95bbd29379e6b21ec9d98bbe3eed894fe23c322ed0e45","last_reissued_at":"2026-05-18T00:29:41.984758Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:41.984758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.08847","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-18T00:29:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/lmmRbu8LtYZwnoEw0RXFkugjjF19LU55zmXurHloAYqM+amgf5xi0Qm3h7zuxAGYlkTmH+oBkSArvJ7bvi3Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T03:52:26.333959Z"},"content_sha256":"a7db8f24ef07a8813b88de3020326c4c5aecfddc58fb08e86146675708d5b0c8","schema_version":"1.0","event_id":"sha256:a7db8f24ef07a8813b88de3020326c4c5aecfddc58fb08e86146675708d5b0c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:2CT6UOUINAVS3PPJLO6SSN46NM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bounded Expectations: Resource Analysis for Probabilistic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jan Hoffmann, Quentin Carbonneaux, Van Chan Ngo","submitted_at":"2017-11-24T00:55:12Z","abstract_excerpt":"This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symbolic bounds that are multivariate polynomials of the inputs. The new technique combines manual state-of-the-art reasoning techniques for probabilistic programs with an effective method for automatic resource-bound analysis of deterministic programs. It can be seen as both, an extension of automatic amortized resource analysis (AARA) to probabilistic programs and an automation of manual reasoning for probabilistic pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.08847","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-18T00:29:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x64rYpjq05gxSqvEBvLP+k38HeTwgQWDUKT5bwqMx3Xof2OgajKuBq6wkErG0dh5BuWo3t/aUd4UsRtTqW1NAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T03:52:26.334301Z"},"content_sha256":"c87220597e9f0a4f282db573522d5d0ce5bb69dfdb08c16dfa502062606f881f","schema_version":"1.0","event_id":"sha256:c87220597e9f0a4f282db573522d5d0ce5bb69dfdb08c16dfa502062606f881f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2CT6UOUINAVS3PPJLO6SSN46NM/bundle.json","state_url":"https://pith.science/pith/2CT6UOUINAVS3PPJLO6SSN46NM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2CT6UOUINAVS3PPJLO6SSN46NM/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-23T03:52:26Z","links":{"resolver":"https://pith.science/pith/2CT6UOUINAVS3PPJLO6SSN46NM","bundle":"https://pith.science/pith/2CT6UOUINAVS3PPJLO6SSN46NM/bundle.json","state":"https://pith.science/pith/2CT6UOUINAVS3PPJLO6SSN46NM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2CT6UOUINAVS3PPJLO6SSN46NM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:2CT6UOUINAVS3PPJLO6SSN46NM","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":"daf475fc7c78e3e69da6235052108d857822cda994bad46966aae99aa75faef6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-24T00:55:12Z","title_canon_sha256":"fa16fba45fa9274d921c2954c10fd951ee6f8a92f9ceabfaf399fb532bd78c06"},"schema_version":"1.0","source":{"id":"1711.08847","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.08847","created_at":"2026-05-18T00:29:41Z"},{"alias_kind":"arxiv_version","alias_value":"1711.08847v1","created_at":"2026-05-18T00:29:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.08847","created_at":"2026-05-18T00:29:41Z"},{"alias_kind":"pith_short_12","alias_value":"2CT6UOUINAVS","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2CT6UOUINAVS3PPJ","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2CT6UOUI","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:c87220597e9f0a4f282db573522d5d0ce5bb69dfdb08c16dfa502062606f881f","target":"graph","created_at":"2026-05-18T00:29:41Z","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":"This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symbolic bounds that are multivariate polynomials of the inputs. The new technique combines manual state-of-the-art reasoning techniques for probabilistic programs with an effective method for automatic resource-bound analysis of deterministic programs. It can be seen as both, an extension of automatic amortized resource analysis (AARA) to probabilistic programs and an automation of manual reasoning for probabilistic pro","authors_text":"Jan Hoffmann, Quentin Carbonneaux, Van Chan Ngo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-24T00:55:12Z","title":"Bounded Expectations: Resource Analysis for Probabilistic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.08847","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:a7db8f24ef07a8813b88de3020326c4c5aecfddc58fb08e86146675708d5b0c8","target":"record","created_at":"2026-05-18T00:29:41Z","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":"daf475fc7c78e3e69da6235052108d857822cda994bad46966aae99aa75faef6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-24T00:55:12Z","title_canon_sha256":"fa16fba45fa9274d921c2954c10fd951ee6f8a92f9ceabfaf399fb532bd78c06"},"schema_version":"1.0","source":{"id":"1711.08847","kind":"arxiv","version":1}},"canonical_sha256":"d0a7ea3a88682b2dbde95bbd29379e6b21ec9d98bbe3eed894fe23c322ed0e45","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d0a7ea3a88682b2dbde95bbd29379e6b21ec9d98bbe3eed894fe23c322ed0e45","first_computed_at":"2026-05-18T00:29:41.984758Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:41.984758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EyEGt+jsbP9pugT6aVDQ8UP459sAn4aTq0xVI8X42xlFMZ5sCgSIE9c5AmvQ8JmjML1eG+A21p8RCvb86j5yBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:41.985634Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.08847","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a7db8f24ef07a8813b88de3020326c4c5aecfddc58fb08e86146675708d5b0c8","sha256:c87220597e9f0a4f282db573522d5d0ce5bb69dfdb08c16dfa502062606f881f"],"state_sha256":"493768c7609ac7eb0cd83ab8e8871358b42bde4108156b29dfd76a49ec5ce52f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7IXpT9Oua+ujb7L7Pz3araaleYYOszXQFo+k93mTtAPhJJ/rt3EtrL5prK2xC2VXIYGW4eMGuwnFmyfQgPgRDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T03:52:26.336276Z","bundle_sha256":"f4b7a67f6f5350f14e78991015009ce21458e778903377a37814526cd89883bc"}}