{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FIP7H5JMOMONPNPM5AYW5LLVXZ","short_pith_number":"pith:FIP7H5JM","canonical_record":{"source":{"id":"1708.06423","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-08-21T21:22:24Z","cross_cats_sorted":[],"title_canon_sha256":"972f5a2c2ea73c75b9dfd75a06876a9b9eb9d212e2af7dadd423811c91a152d7","abstract_canon_sha256":"ac4a5065f4fa3c3aa7f9a3d0095f531aa6ee1324c8017eed39fcb1beb9fb3345"},"schema_version":"1.0"},"canonical_sha256":"2a1ff3f52c731cd7b5ece8316ead75be6b85ac1484cacbfb4441eec315c95397","source":{"kind":"arxiv","id":"1708.06423","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.06423","created_at":"2026-05-18T00:37:41Z"},{"alias_kind":"arxiv_version","alias_value":"1708.06423v1","created_at":"2026-05-18T00:37:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06423","created_at":"2026-05-18T00:37:41Z"},{"alias_kind":"pith_short_12","alias_value":"FIP7H5JMOMON","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FIP7H5JMOMONPNPM","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FIP7H5JM","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FIP7H5JMOMONPNPM5AYW5LLVXZ","target":"record","payload":{"canonical_record":{"source":{"id":"1708.06423","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-08-21T21:22:24Z","cross_cats_sorted":[],"title_canon_sha256":"972f5a2c2ea73c75b9dfd75a06876a9b9eb9d212e2af7dadd423811c91a152d7","abstract_canon_sha256":"ac4a5065f4fa3c3aa7f9a3d0095f531aa6ee1324c8017eed39fcb1beb9fb3345"},"schema_version":"1.0"},"canonical_sha256":"2a1ff3f52c731cd7b5ece8316ead75be6b85ac1484cacbfb4441eec315c95397","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:37:41.574657Z","signature_b64":"nvWBTSPa4HkDNaH0D2OxbKdVttXi1lAGBwFEwhAgixZtIaUJ0Wy2/MFo36JqgiEM4BDlE29SxQ0abGKVzAu/CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a1ff3f52c731cd7b5ece8316ead75be6b85ac1484cacbfb4441eec315c95397","last_reissued_at":"2026-05-18T00:37:41.573962Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:37:41.573962Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.06423","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:37:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KRJSCz83UXImd3PYJkjGQI2GC9ByBAU7z0s4wfkzyG1AjhcOeR/yyortjQHOLcdMnYo/LeCSaP6rJYP+WpRmCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:49:55.905705Z"},"content_sha256":"78eca64992703d1ca5263cfc9db70464735d538514072fe0a47ae792167802a6","schema_version":"1.0","event_id":"sha256:78eca64992703d1ca5263cfc9db70464735d538514072fe0a47ae792167802a6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FIP7H5JMOMONPNPM5AYW5LLVXZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Annette Bieniusa, Carlos Baquero, Christopher S. Meiklejohn, Junghun Yoo, Peter Van Roy, Vitor Enes","submitted_at":"2017-08-21T21:22:24Z","abstract_excerpt":"Programming models for building large-scale distributed applications assist the developer in reasoning about consistency and distribution. However, many of the programming models for weak consistency, which promise the largest scalability gains, have little in the way of evaluation to demonstrate the promised scalability. We present an experience report on the implementation and large-scale evaluation of one of these models, Lasp, originally presented at PPDP `15, which provides a declarative, functional programming style for distributed applications. We demonstrate the scalability of Lasp's p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06423","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:37:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GfTw/y019Rndh0IJz1THa3rECZoZOFZmGB/E65X2HAlbqi7qTEKvmL3zo/ctrNyvR4Pv/70YvqWMK08vOP1OBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:49:55.906422Z"},"content_sha256":"d52a268ae6fc404d655c0418a05e9570287e1b59f0fe08977e5dd570f88f655f","schema_version":"1.0","event_id":"sha256:d52a268ae6fc404d655c0418a05e9570287e1b59f0fe08977e5dd570f88f655f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FIP7H5JMOMONPNPM5AYW5LLVXZ/bundle.json","state_url":"https://pith.science/pith/FIP7H5JMOMONPNPM5AYW5LLVXZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FIP7H5JMOMONPNPM5AYW5LLVXZ/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-05-25T08:49:55Z","links":{"resolver":"https://pith.science/pith/FIP7H5JMOMONPNPM5AYW5LLVXZ","bundle":"https://pith.science/pith/FIP7H5JMOMONPNPM5AYW5LLVXZ/bundle.json","state":"https://pith.science/pith/FIP7H5JMOMONPNPM5AYW5LLVXZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FIP7H5JMOMONPNPM5AYW5LLVXZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FIP7H5JMOMONPNPM5AYW5LLVXZ","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":"ac4a5065f4fa3c3aa7f9a3d0095f531aa6ee1324c8017eed39fcb1beb9fb3345","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-08-21T21:22:24Z","title_canon_sha256":"972f5a2c2ea73c75b9dfd75a06876a9b9eb9d212e2af7dadd423811c91a152d7"},"schema_version":"1.0","source":{"id":"1708.06423","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.06423","created_at":"2026-05-18T00:37:41Z"},{"alias_kind":"arxiv_version","alias_value":"1708.06423v1","created_at":"2026-05-18T00:37:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06423","created_at":"2026-05-18T00:37:41Z"},{"alias_kind":"pith_short_12","alias_value":"FIP7H5JMOMON","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FIP7H5JMOMONPNPM","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FIP7H5JM","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:d52a268ae6fc404d655c0418a05e9570287e1b59f0fe08977e5dd570f88f655f","target":"graph","created_at":"2026-05-18T00:37: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":"Programming models for building large-scale distributed applications assist the developer in reasoning about consistency and distribution. However, many of the programming models for weak consistency, which promise the largest scalability gains, have little in the way of evaluation to demonstrate the promised scalability. We present an experience report on the implementation and large-scale evaluation of one of these models, Lasp, originally presented at PPDP `15, which provides a declarative, functional programming style for distributed applications. We demonstrate the scalability of Lasp's p","authors_text":"Annette Bieniusa, Carlos Baquero, Christopher S. Meiklejohn, Junghun Yoo, Peter Van Roy, Vitor Enes","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-08-21T21:22:24Z","title":"Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06423","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:78eca64992703d1ca5263cfc9db70464735d538514072fe0a47ae792167802a6","target":"record","created_at":"2026-05-18T00:37: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":"ac4a5065f4fa3c3aa7f9a3d0095f531aa6ee1324c8017eed39fcb1beb9fb3345","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-08-21T21:22:24Z","title_canon_sha256":"972f5a2c2ea73c75b9dfd75a06876a9b9eb9d212e2af7dadd423811c91a152d7"},"schema_version":"1.0","source":{"id":"1708.06423","kind":"arxiv","version":1}},"canonical_sha256":"2a1ff3f52c731cd7b5ece8316ead75be6b85ac1484cacbfb4441eec315c95397","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a1ff3f52c731cd7b5ece8316ead75be6b85ac1484cacbfb4441eec315c95397","first_computed_at":"2026-05-18T00:37:41.573962Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:37:41.573962Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nvWBTSPa4HkDNaH0D2OxbKdVttXi1lAGBwFEwhAgixZtIaUJ0Wy2/MFo36JqgiEM4BDlE29SxQ0abGKVzAu/CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:37:41.574657Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.06423","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:78eca64992703d1ca5263cfc9db70464735d538514072fe0a47ae792167802a6","sha256:d52a268ae6fc404d655c0418a05e9570287e1b59f0fe08977e5dd570f88f655f"],"state_sha256":"680f3fbe62da7c8c6225af23b0baff2677a1c7bdcc5f4c1b5b6f38433ab54f81"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CEwhY2I4hMondbgJhFmrbhh3O9nWhLZ/OkIfwdbDP7HskoeEoX0c5BFwA9Voxa7JlsWoAq0zioEKV1QrcSoqBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T08:49:55.910277Z","bundle_sha256":"fa7dd6def028e5185c86030a059097f1f3e857589d5f6f5ec41bf6657bad31ea"}}