{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:UUHY6OWA5423FTTZSGEVBHU23N","short_pith_number":"pith:UUHY6OWA","canonical_record":{"source":{"id":"1303.0276","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-01T20:49:44Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6d1000bfcf7f4d45a5e7de82b08ee034e407fd6b330b5119d0571300e4cd0f52","abstract_canon_sha256":"8407b335543cfa3db4ea7eb72fe762078daa66eb14261df173f3ab013393f499"},"schema_version":"1.0"},"canonical_sha256":"a50f8f3ac0ef35b2ce799189509e9adb50c8d9413271b36681aa542c555e5d33","source":{"kind":"arxiv","id":"1303.0276","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0276","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0276v1","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0276","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"pith_short_12","alias_value":"UUHY6OWA5423","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UUHY6OWA5423FTTZ","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UUHY6OWA","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:UUHY6OWA5423FTTZSGEVBHU23N","target":"record","payload":{"canonical_record":{"source":{"id":"1303.0276","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-01T20:49:44Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6d1000bfcf7f4d45a5e7de82b08ee034e407fd6b330b5119d0571300e4cd0f52","abstract_canon_sha256":"8407b335543cfa3db4ea7eb72fe762078daa66eb14261df173f3ab013393f499"},"schema_version":"1.0"},"canonical_sha256":"a50f8f3ac0ef35b2ce799189509e9adb50c8d9413271b36681aa542c555e5d33","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:06.427210Z","signature_b64":"B7aE/R0/GhxbO/kBQkbEqnl6xOnb/rumaheuD/LZfWcbujCn4QwisqIK7ppIHpDLr9VgkqfdG+YMR+rAi+PIBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a50f8f3ac0ef35b2ce799189509e9adb50c8d9413271b36681aa542c555e5d33","last_reissued_at":"2026-05-18T03:32:06.426499Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:06.426499Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.0276","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-18T03:32:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ehZ/yphK4NCa2EBfH+eC0DwyWJB39FgVXokfK87sxE1ONENMhyZvQU4TQ5jmGqvlYYrisS5zk37jhJWMgjEaDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T00:36:48.025677Z"},"content_sha256":"343fa255dc67d4bb610279a33ad3a380052711f59c7db13ffc819385ac538616","schema_version":"1.0","event_id":"sha256:343fa255dc67d4bb610279a33ad3a380052711f59c7db13ffc819385ac538616"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:UUHY6OWA5423FTTZSGEVBHU23N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.DC","authors_text":"Vijay K. Garg, Wei-Lun Hung","submitted_at":"2013-03-01T20:49:44Z","abstract_excerpt":"Most programming languages use monitors with explicit signals for synchronization in shared-memory programs. Requiring program- mers to signal threads explicitly results in many concurrency bugs due to missed notifications, or notifications on wrong condition variables. In this paper, we describe an implementation of an au- tomatic signaling monitor in Java called AutoSynch that eliminates such concurrency bugs by removing the burden of signaling from the programmer. We show that the belief that automatic signaling monitors are prohibitively expensive is wrong. For most problems, programs base"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0276","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-18T03:32:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LNwhUf7dxHteFKuckhHeAdejLl58wg2/vE5hqfab4lISUBuWys2dA1glnnhzg5UQLes+HKbp69PeU/dlDm0DBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T00:36:48.026046Z"},"content_sha256":"828ef31da1d1d43c84a208b549d7e06a2fcbd718a9b2c88be5aaad412bb02257","schema_version":"1.0","event_id":"sha256:828ef31da1d1d43c84a208b549d7e06a2fcbd718a9b2c88be5aaad412bb02257"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UUHY6OWA5423FTTZSGEVBHU23N/bundle.json","state_url":"https://pith.science/pith/UUHY6OWA5423FTTZSGEVBHU23N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UUHY6OWA5423FTTZSGEVBHU23N/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-27T00:36:48Z","links":{"resolver":"https://pith.science/pith/UUHY6OWA5423FTTZSGEVBHU23N","bundle":"https://pith.science/pith/UUHY6OWA5423FTTZSGEVBHU23N/bundle.json","state":"https://pith.science/pith/UUHY6OWA5423FTTZSGEVBHU23N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UUHY6OWA5423FTTZSGEVBHU23N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:UUHY6OWA5423FTTZSGEVBHU23N","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":"8407b335543cfa3db4ea7eb72fe762078daa66eb14261df173f3ab013393f499","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-01T20:49:44Z","title_canon_sha256":"6d1000bfcf7f4d45a5e7de82b08ee034e407fd6b330b5119d0571300e4cd0f52"},"schema_version":"1.0","source":{"id":"1303.0276","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0276","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0276v1","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0276","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"pith_short_12","alias_value":"UUHY6OWA5423","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UUHY6OWA5423FTTZ","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UUHY6OWA","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:828ef31da1d1d43c84a208b549d7e06a2fcbd718a9b2c88be5aaad412bb02257","target":"graph","created_at":"2026-05-18T03:32:06Z","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":"Most programming languages use monitors with explicit signals for synchronization in shared-memory programs. Requiring program- mers to signal threads explicitly results in many concurrency bugs due to missed notifications, or notifications on wrong condition variables. In this paper, we describe an implementation of an au- tomatic signaling monitor in Java called AutoSynch that eliminates such concurrency bugs by removing the burden of signaling from the programmer. We show that the belief that automatic signaling monitors are prohibitively expensive is wrong. For most problems, programs base","authors_text":"Vijay K. Garg, Wei-Lun Hung","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-01T20:49:44Z","title":"AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0276","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:343fa255dc67d4bb610279a33ad3a380052711f59c7db13ffc819385ac538616","target":"record","created_at":"2026-05-18T03:32:06Z","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":"8407b335543cfa3db4ea7eb72fe762078daa66eb14261df173f3ab013393f499","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-03-01T20:49:44Z","title_canon_sha256":"6d1000bfcf7f4d45a5e7de82b08ee034e407fd6b330b5119d0571300e4cd0f52"},"schema_version":"1.0","source":{"id":"1303.0276","kind":"arxiv","version":1}},"canonical_sha256":"a50f8f3ac0ef35b2ce799189509e9adb50c8d9413271b36681aa542c555e5d33","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a50f8f3ac0ef35b2ce799189509e9adb50c8d9413271b36681aa542c555e5d33","first_computed_at":"2026-05-18T03:32:06.426499Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:32:06.426499Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B7aE/R0/GhxbO/kBQkbEqnl6xOnb/rumaheuD/LZfWcbujCn4QwisqIK7ppIHpDLr9VgkqfdG+YMR+rAi+PIBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:32:06.427210Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.0276","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:343fa255dc67d4bb610279a33ad3a380052711f59c7db13ffc819385ac538616","sha256:828ef31da1d1d43c84a208b549d7e06a2fcbd718a9b2c88be5aaad412bb02257"],"state_sha256":"0b1c4b8d748d1c38f644ca60e2ea53545f2b1e370c0e6720186ff91c8741dad3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iD03ixBMKFOhQysIGDn38EWR/gH0hlcuse4LBdXsZ+FEhRay67Z4xW25B/zLvvuidGrPsTzqWMKGBtrjzCDXDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T00:36:48.028754Z","bundle_sha256":"62fc2a353e63303c02269196abe3e6e3d616ef682355422e79cba5af157bb46a"}}