{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:LVLQVJPHREFOB7KJSPJJA7SRTY","short_pith_number":"pith:LVLQVJPH","canonical_record":{"source":{"id":"1510.02419","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T17:47:39Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4a8e2565c1b7a04f425be3e071bd204b7fcce911299498acb804e10bd7edd438","abstract_canon_sha256":"eabdae45e2a4dbc13e2272c40f2115f6d61eb2b4e8658dc355fae2e45ec0d077"},"schema_version":"1.0"},"canonical_sha256":"5d570aa5e7890ae0fd4993d2907e519e11c331f83d9ebd4e4ae9aa71bb397042","source":{"kind":"arxiv","id":"1510.02419","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02419","created_at":"2026-05-18T01:30:42Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02419v1","created_at":"2026-05-18T01:30:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02419","created_at":"2026-05-18T01:30:42Z"},{"alias_kind":"pith_short_12","alias_value":"LVLQVJPHREFO","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LVLQVJPHREFOB7KJ","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LVLQVJPH","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:LVLQVJPHREFOB7KJSPJJA7SRTY","target":"record","payload":{"canonical_record":{"source":{"id":"1510.02419","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T17:47:39Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4a8e2565c1b7a04f425be3e071bd204b7fcce911299498acb804e10bd7edd438","abstract_canon_sha256":"eabdae45e2a4dbc13e2272c40f2115f6d61eb2b4e8658dc355fae2e45ec0d077"},"schema_version":"1.0"},"canonical_sha256":"5d570aa5e7890ae0fd4993d2907e519e11c331f83d9ebd4e4ae9aa71bb397042","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:42.372741Z","signature_b64":"ge/9okrm3SxnX+6DnSp73x1PkFuSrjqTyyDezzePc1e88B5ZUO3a0C3FJvdEqDRdnt+3f5+Ux3sfszwHQIn4CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5d570aa5e7890ae0fd4993d2907e519e11c331f83d9ebd4e4ae9aa71bb397042","last_reissued_at":"2026-05-18T01:30:42.372143Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:42.372143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.02419","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:30:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6KxAphVMzmX8c6IuaI/sHT2gDA3gLaXB81MkIikCkmNsG3eNwxoXZlhty/oAE+iO6ipx5J/6rVW0ScGKaDWGDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:08:04.186037Z"},"content_sha256":"16164efc7eb190ea535b05c70577ecabf20fda0b99cbffacd1839c55ebfe2fc0","schema_version":"1.0","event_id":"sha256:16164efc7eb190ea535b05c70577ecabf20fda0b99cbffacd1839c55ebfe2fc0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:LVLQVJPHREFOB7KJSPJJA7SRTY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Effect-Dependent Transformations for Concurrent Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Martin Hofmann, Nick Benton, Vivek Nigam","submitted_at":"2015-10-08T17:47:39Z","abstract_excerpt":"We describe a denotational semantics for an abstract effect system for a higher-order, shared-variable concurrent programming language. We prove the soundness of a number of general effect-based program equivalences, including a parallelization equation that specifies sufficient conditions for replacing sequential composition with parallel composition. Effect annotations are relative to abstract locations specified by contracts rather than physical footprints allowing us in particular to show the soundness of some transformations involving fine-grained concurrent data structures, such as Micha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02419","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:30:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x8o9no6HRPkaRD9wf3z4+NzpHXbkZejE8s5/eHawQJFOrobfs36AKtdkR00NhgTMesfJecdwxfWWIWswhZw7CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:08:04.186698Z"},"content_sha256":"4d201e810b32f1af1c918d07e54b5959ff0dc2d0815e64105ec7ae5754cff0db","schema_version":"1.0","event_id":"sha256:4d201e810b32f1af1c918d07e54b5959ff0dc2d0815e64105ec7ae5754cff0db"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LVLQVJPHREFOB7KJSPJJA7SRTY/bundle.json","state_url":"https://pith.science/pith/LVLQVJPHREFOB7KJSPJJA7SRTY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LVLQVJPHREFOB7KJSPJJA7SRTY/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-11T22:08:04Z","links":{"resolver":"https://pith.science/pith/LVLQVJPHREFOB7KJSPJJA7SRTY","bundle":"https://pith.science/pith/LVLQVJPHREFOB7KJSPJJA7SRTY/bundle.json","state":"https://pith.science/pith/LVLQVJPHREFOB7KJSPJJA7SRTY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LVLQVJPHREFOB7KJSPJJA7SRTY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:LVLQVJPHREFOB7KJSPJJA7SRTY","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":"eabdae45e2a4dbc13e2272c40f2115f6d61eb2b4e8658dc355fae2e45ec0d077","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T17:47:39Z","title_canon_sha256":"4a8e2565c1b7a04f425be3e071bd204b7fcce911299498acb804e10bd7edd438"},"schema_version":"1.0","source":{"id":"1510.02419","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02419","created_at":"2026-05-18T01:30:42Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02419v1","created_at":"2026-05-18T01:30:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02419","created_at":"2026-05-18T01:30:42Z"},{"alias_kind":"pith_short_12","alias_value":"LVLQVJPHREFO","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LVLQVJPHREFOB7KJ","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LVLQVJPH","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:4d201e810b32f1af1c918d07e54b5959ff0dc2d0815e64105ec7ae5754cff0db","target":"graph","created_at":"2026-05-18T01:30:42Z","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":"We describe a denotational semantics for an abstract effect system for a higher-order, shared-variable concurrent programming language. We prove the soundness of a number of general effect-based program equivalences, including a parallelization equation that specifies sufficient conditions for replacing sequential composition with parallel composition. Effect annotations are relative to abstract locations specified by contracts rather than physical footprints allowing us in particular to show the soundness of some transformations involving fine-grained concurrent data structures, such as Micha","authors_text":"Martin Hofmann, Nick Benton, Vivek Nigam","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T17:47:39Z","title":"Effect-Dependent Transformations for Concurrent Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02419","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:16164efc7eb190ea535b05c70577ecabf20fda0b99cbffacd1839c55ebfe2fc0","target":"record","created_at":"2026-05-18T01:30:42Z","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":"eabdae45e2a4dbc13e2272c40f2115f6d61eb2b4e8658dc355fae2e45ec0d077","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T17:47:39Z","title_canon_sha256":"4a8e2565c1b7a04f425be3e071bd204b7fcce911299498acb804e10bd7edd438"},"schema_version":"1.0","source":{"id":"1510.02419","kind":"arxiv","version":1}},"canonical_sha256":"5d570aa5e7890ae0fd4993d2907e519e11c331f83d9ebd4e4ae9aa71bb397042","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d570aa5e7890ae0fd4993d2907e519e11c331f83d9ebd4e4ae9aa71bb397042","first_computed_at":"2026-05-18T01:30:42.372143Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:42.372143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ge/9okrm3SxnX+6DnSp73x1PkFuSrjqTyyDezzePc1e88B5ZUO3a0C3FJvdEqDRdnt+3f5+Ux3sfszwHQIn4CA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:42.372741Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.02419","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16164efc7eb190ea535b05c70577ecabf20fda0b99cbffacd1839c55ebfe2fc0","sha256:4d201e810b32f1af1c918d07e54b5959ff0dc2d0815e64105ec7ae5754cff0db"],"state_sha256":"492aba54b9bca7e21e460b10cc389ffba0c312293b96436fda107e0da2b3b6eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zWE3DVBdGVz0OvlbX74hI3FDp6ybPI+wCTyt6HFJHHzOc0Ko/lODL58+adkWuvWR84Hyj22BEpzMzHRldMonCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T22:08:04.190865Z","bundle_sha256":"5f40b6f7943b2d11b91e2efabf9f99bf41787528b1f17c109f39bd79c4ce5840"}}