{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:VTWLVRUS3VT7YHNRPUYYC4I4XF","short_pith_number":"pith:VTWLVRUS","canonical_record":{"source":{"id":"1612.06668","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-20T14:06:34Z","cross_cats_sorted":[],"title_canon_sha256":"2f90182e543255c50ba83b8ce152ecda2591a145efd1442b8fae567d26cd4b06","abstract_canon_sha256":"245a00f93b8722aefc1a3e52bf512bea06238a606419a0df67ad6961a27e777e"},"schema_version":"1.0"},"canonical_sha256":"acecbac692dd67fc1db17d3181711cb946d73565c34d6a89d4758449774523a7","source":{"kind":"arxiv","id":"1612.06668","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06668","created_at":"2026-05-18T00:54:25Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06668v1","created_at":"2026-05-18T00:54:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06668","created_at":"2026-05-18T00:54:25Z"},{"alias_kind":"pith_short_12","alias_value":"VTWLVRUS3VT7","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VTWLVRUS3VT7YHNR","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VTWLVRUS","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:VTWLVRUS3VT7YHNRPUYYC4I4XF","target":"record","payload":{"canonical_record":{"source":{"id":"1612.06668","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-20T14:06:34Z","cross_cats_sorted":[],"title_canon_sha256":"2f90182e543255c50ba83b8ce152ecda2591a145efd1442b8fae567d26cd4b06","abstract_canon_sha256":"245a00f93b8722aefc1a3e52bf512bea06238a606419a0df67ad6961a27e777e"},"schema_version":"1.0"},"canonical_sha256":"acecbac692dd67fc1db17d3181711cb946d73565c34d6a89d4758449774523a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:25.063065Z","signature_b64":"MPYVHGQdQPhlv0D+TqE6MnHRQfa3CXFsHZkW0UVu4Lx2m4SoN9hEmp8K7qpSCoJ2PGbKdnOlmkS643mwnXFwCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"acecbac692dd67fc1db17d3181711cb946d73565c34d6a89d4758449774523a7","last_reissued_at":"2026-05-18T00:54:25.062278Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:25.062278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.06668","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:54:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tp6QjZ3CDJF1KANRQk8k0JbbFDxfFqsWUiz/oyFNyLT5HSMdp493musmJPIS1NknGkzrvrWudDSUcW5gmKMxBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:26:34.360695Z"},"content_sha256":"90da17812869855869698645606e3616456935c5fdd05a864c2cb945679c53f5","schema_version":"1.0","event_id":"sha256:90da17812869855869698645606e3616456935c5fdd05a864c2cb945679c53f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:VTWLVRUS3VT7YHNRPUYYC4I4XF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stream Fusion, to Completeness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aggelos Biboudis, Nick Palladinos, Oleg Kiselyov, Yannis Smaragdakis","submitted_at":"2016-12-20T14:06:34Z","abstract_excerpt":"Stream processing is mainstream (again): Widely-used stream libraries are now available for virtually all modern OO and functional languages, from Java to C# to Scala to OCaml to Haskell. Yet expressivity and performance are still lacking. For instance, the popular, well-optimized Java 8 streams do not support the zip operator and are still an order of magnitude slower than hand-written loops. We present the first approach that represents the full generality of stream processing and eliminates overheads, via the use of staging. It is based on an unusually rich semantic model of stream interact"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06668","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:54:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kMQhPszh13tDpxIWohUr/F4sv/TOTpcw12RzWfYN63/AjMUhess5q/lQCIrRzkt8b+3wEby0DJavWVDHP0YCBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:26:34.361295Z"},"content_sha256":"cb49d111cdef54625a9724d6bf2d4e34330f40eac47a51462739295e04baa00f","schema_version":"1.0","event_id":"sha256:cb49d111cdef54625a9724d6bf2d4e34330f40eac47a51462739295e04baa00f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VTWLVRUS3VT7YHNRPUYYC4I4XF/bundle.json","state_url":"https://pith.science/pith/VTWLVRUS3VT7YHNRPUYYC4I4XF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VTWLVRUS3VT7YHNRPUYYC4I4XF/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-28T04:26:34Z","links":{"resolver":"https://pith.science/pith/VTWLVRUS3VT7YHNRPUYYC4I4XF","bundle":"https://pith.science/pith/VTWLVRUS3VT7YHNRPUYYC4I4XF/bundle.json","state":"https://pith.science/pith/VTWLVRUS3VT7YHNRPUYYC4I4XF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VTWLVRUS3VT7YHNRPUYYC4I4XF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VTWLVRUS3VT7YHNRPUYYC4I4XF","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":"245a00f93b8722aefc1a3e52bf512bea06238a606419a0df67ad6961a27e777e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-20T14:06:34Z","title_canon_sha256":"2f90182e543255c50ba83b8ce152ecda2591a145efd1442b8fae567d26cd4b06"},"schema_version":"1.0","source":{"id":"1612.06668","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06668","created_at":"2026-05-18T00:54:25Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06668v1","created_at":"2026-05-18T00:54:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06668","created_at":"2026-05-18T00:54:25Z"},{"alias_kind":"pith_short_12","alias_value":"VTWLVRUS3VT7","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VTWLVRUS3VT7YHNR","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VTWLVRUS","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:cb49d111cdef54625a9724d6bf2d4e34330f40eac47a51462739295e04baa00f","target":"graph","created_at":"2026-05-18T00:54:25Z","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":"Stream processing is mainstream (again): Widely-used stream libraries are now available for virtually all modern OO and functional languages, from Java to C# to Scala to OCaml to Haskell. Yet expressivity and performance are still lacking. For instance, the popular, well-optimized Java 8 streams do not support the zip operator and are still an order of magnitude slower than hand-written loops. We present the first approach that represents the full generality of stream processing and eliminates overheads, via the use of staging. It is based on an unusually rich semantic model of stream interact","authors_text":"Aggelos Biboudis, Nick Palladinos, Oleg Kiselyov, Yannis Smaragdakis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-20T14:06:34Z","title":"Stream Fusion, to Completeness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06668","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:90da17812869855869698645606e3616456935c5fdd05a864c2cb945679c53f5","target":"record","created_at":"2026-05-18T00:54:25Z","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":"245a00f93b8722aefc1a3e52bf512bea06238a606419a0df67ad6961a27e777e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-20T14:06:34Z","title_canon_sha256":"2f90182e543255c50ba83b8ce152ecda2591a145efd1442b8fae567d26cd4b06"},"schema_version":"1.0","source":{"id":"1612.06668","kind":"arxiv","version":1}},"canonical_sha256":"acecbac692dd67fc1db17d3181711cb946d73565c34d6a89d4758449774523a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"acecbac692dd67fc1db17d3181711cb946d73565c34d6a89d4758449774523a7","first_computed_at":"2026-05-18T00:54:25.062278Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:25.062278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MPYVHGQdQPhlv0D+TqE6MnHRQfa3CXFsHZkW0UVu4Lx2m4SoN9hEmp8K7qpSCoJ2PGbKdnOlmkS643mwnXFwCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:25.063065Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.06668","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90da17812869855869698645606e3616456935c5fdd05a864c2cb945679c53f5","sha256:cb49d111cdef54625a9724d6bf2d4e34330f40eac47a51462739295e04baa00f"],"state_sha256":"6995d6b0bb0d3a7804b6b1f34a50a170752e338498a313acccaec0bcd1825043"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qfioaqk5/U4AMcaFdxXOuaTVKsYj8PjC/AJnmp/lQoXP2+uscxzjyDZ+grnCzJnUR/UXdRvZ9fPhla3EMm9gDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T04:26:34.364015Z","bundle_sha256":"c43be7e4966028b8998cadc06a6117e75df8d828f34ff4a938949fa51d1ad5bd"}}