{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:5FLUU2AAW7S5EQVE7YI3ES2UEI","short_pith_number":"pith:5FLUU2AA","canonical_record":{"source":{"id":"1706.07372","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-22T15:31:53Z","cross_cats_sorted":[],"title_canon_sha256":"580a2573ebcfc73342fe7113c16f7c71afdec428b58c7d2e2682b11ad72084a1","abstract_canon_sha256":"a8044c6f188e959fba706c6cdfd64a4ab6d6fc7ad316c74e02dab5fd199038b1"},"schema_version":"1.0"},"canonical_sha256":"e9574a6800b7e5d242a4fe11b24b54220e30e75fce5f5bd52babb7c779bb460c","source":{"kind":"arxiv","id":"1706.07372","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.07372","created_at":"2026-05-18T00:17:43Z"},{"alias_kind":"arxiv_version","alias_value":"1706.07372v3","created_at":"2026-05-18T00:17:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.07372","created_at":"2026-05-18T00:17:43Z"},{"alias_kind":"pith_short_12","alias_value":"5FLUU2AAW7S5","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5FLUU2AAW7S5EQVE","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5FLUU2AA","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:5FLUU2AAW7S5EQVE7YI3ES2UEI","target":"record","payload":{"canonical_record":{"source":{"id":"1706.07372","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-22T15:31:53Z","cross_cats_sorted":[],"title_canon_sha256":"580a2573ebcfc73342fe7113c16f7c71afdec428b58c7d2e2682b11ad72084a1","abstract_canon_sha256":"a8044c6f188e959fba706c6cdfd64a4ab6d6fc7ad316c74e02dab5fd199038b1"},"schema_version":"1.0"},"canonical_sha256":"e9574a6800b7e5d242a4fe11b24b54220e30e75fce5f5bd52babb7c779bb460c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:43.464187Z","signature_b64":"H7kZU7vvCHJFfKztXmoX3Imb6JTZsOsEcNFw8O3TtS378STHAgWkjJeFFYk3zB9GFFRJOLuJ5cbZsc6h6U5GAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e9574a6800b7e5d242a4fe11b24b54220e30e75fce5f5bd52babb7c779bb460c","last_reissued_at":"2026-05-18T00:17:43.463570Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:43.463570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.07372","source_version":3,"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:17:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IWjV/m2HsJRFI66eUs1KRow1DKju05ouVH7gbTi4o9QZuOfG+a9baYLXYd7dpUvQ1QAY/7T+rd8cN851goBHDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:49:20.300045Z"},"content_sha256":"020e68c5b2d2f1d2aaa82fa9160de3c749f6af6e391762a585ba5bdcf5c1277a","schema_version":"1.0","event_id":"sha256:020e68c5b2d2f1d2aaa82fa9160de3c749f6af6e391762a585ba5bdcf5c1277a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:5FLUU2AAW7S5EQVE7YI3ES2UEI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Carmen Torres Lopez, Elisa Gonzalez Boix, Hanspeter M\\\"ossenb\\\"ock, Stefan Marr","submitted_at":"2017-06-22T15:31:53Z","abstract_excerpt":"The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify the patterns causing them as well as their observable behavior. Based on this taxonomy, we further analyze the literature and find that current approaches t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.07372","kind":"arxiv","version":3},"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:17:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8NkweoM5sP5Pan9MAosc3pJIYsaNvsjFgrqLJuMAJLr9GXI6t3cqzvpPLCcb5hmWzYkpBZ9uk8Q8+o72k/rKCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:49:20.300775Z"},"content_sha256":"e2a37d451efea368d74d49ad1c83c432a1161345b8bda5d62380658fc0c6eb70","schema_version":"1.0","event_id":"sha256:e2a37d451efea368d74d49ad1c83c432a1161345b8bda5d62380658fc0c6eb70"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5FLUU2AAW7S5EQVE7YI3ES2UEI/bundle.json","state_url":"https://pith.science/pith/5FLUU2AAW7S5EQVE7YI3ES2UEI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5FLUU2AAW7S5EQVE7YI3ES2UEI/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-28T21:49:20Z","links":{"resolver":"https://pith.science/pith/5FLUU2AAW7S5EQVE7YI3ES2UEI","bundle":"https://pith.science/pith/5FLUU2AAW7S5EQVE7YI3ES2UEI/bundle.json","state":"https://pith.science/pith/5FLUU2AAW7S5EQVE7YI3ES2UEI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5FLUU2AAW7S5EQVE7YI3ES2UEI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5FLUU2AAW7S5EQVE7YI3ES2UEI","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":"a8044c6f188e959fba706c6cdfd64a4ab6d6fc7ad316c74e02dab5fd199038b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-22T15:31:53Z","title_canon_sha256":"580a2573ebcfc73342fe7113c16f7c71afdec428b58c7d2e2682b11ad72084a1"},"schema_version":"1.0","source":{"id":"1706.07372","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.07372","created_at":"2026-05-18T00:17:43Z"},{"alias_kind":"arxiv_version","alias_value":"1706.07372v3","created_at":"2026-05-18T00:17:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.07372","created_at":"2026-05-18T00:17:43Z"},{"alias_kind":"pith_short_12","alias_value":"5FLUU2AAW7S5","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5FLUU2AAW7S5EQVE","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5FLUU2AA","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:e2a37d451efea368d74d49ad1c83c432a1161345b8bda5d62380658fc0c6eb70","target":"graph","created_at":"2026-05-18T00:17:43Z","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":"The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify the patterns causing them as well as their observable behavior. Based on this taxonomy, we further analyze the literature and find that current approaches t","authors_text":"Carmen Torres Lopez, Elisa Gonzalez Boix, Hanspeter M\\\"ossenb\\\"ock, Stefan Marr","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-22T15:31:53Z","title":"A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.07372","kind":"arxiv","version":3},"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:020e68c5b2d2f1d2aaa82fa9160de3c749f6af6e391762a585ba5bdcf5c1277a","target":"record","created_at":"2026-05-18T00:17:43Z","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":"a8044c6f188e959fba706c6cdfd64a4ab6d6fc7ad316c74e02dab5fd199038b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-22T15:31:53Z","title_canon_sha256":"580a2573ebcfc73342fe7113c16f7c71afdec428b58c7d2e2682b11ad72084a1"},"schema_version":"1.0","source":{"id":"1706.07372","kind":"arxiv","version":3}},"canonical_sha256":"e9574a6800b7e5d242a4fe11b24b54220e30e75fce5f5bd52babb7c779bb460c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e9574a6800b7e5d242a4fe11b24b54220e30e75fce5f5bd52babb7c779bb460c","first_computed_at":"2026-05-18T00:17:43.463570Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:43.463570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H7kZU7vvCHJFfKztXmoX3Imb6JTZsOsEcNFw8O3TtS378STHAgWkjJeFFYk3zB9GFFRJOLuJ5cbZsc6h6U5GAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:43.464187Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.07372","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:020e68c5b2d2f1d2aaa82fa9160de3c749f6af6e391762a585ba5bdcf5c1277a","sha256:e2a37d451efea368d74d49ad1c83c432a1161345b8bda5d62380658fc0c6eb70"],"state_sha256":"b87d50e46fe03ea25c688e1ec209cbeae6ebd0995ef7c59cdd2771553f51c65e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"imG5k5UCjjURmQoGoo7dLETSaSGqDodWTR9hgWVceDWnS6GW/tnGO4qnZii91SH5xDt+WSNQkcWqaYDBWv2QBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T21:49:20.304988Z","bundle_sha256":"ab35d63ba6989fbb0fee4ff568c0d6c94dde029fa9fa4d7439a57b04273848d7"}}