{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:UGUXRIZOTOODSJB35QGEJCUXHQ","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":"bfcc8405d0021f9b18fa901791f207f4ca640c67ec3980d7f9411047f751f5e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-08-10T22:43:03Z","title_canon_sha256":"377a34c638344ba5bdbd4c9964e9c8138f6c4a6bd4c5e0d3985445c984f912f3"},"schema_version":"1.0","source":{"id":"1308.2349","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.2349","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1308.2349v3","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.2349","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"UGUXRIZOTOOD","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UGUXRIZOTOODSJB3","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UGUXRIZO","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:60b07518ec1f2334a65030fc9706ee4b512f903621d6f6c00a5c15c5255b5571","target":"graph","created_at":"2026-05-18T01:37:37Z","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 pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of the program. The problem is important for static analysis and is used to detect statements that are concurrently enabled. This problem is in general undecidable even when data is abstracted and when the threads (with recursion) synchronize only using a finite set of locks. Popular programming paradigms that limit the lock usage patterns have been identified under which the pairwise reachability problem becomes decidable. In t","authors_text":"CNRS), ENS Cachan, Mahesh Viswanathan (University of Illinois), P. Madhusudan (University of Illinois), Remi Bonnet (LSV, Rohit Chadha (University of Missouri)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-08-10T22:43:03Z","title":"Reachability under Contextual Locking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.2349","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:bf9c398b680abad22f4c7a677c98900d1d8ca24735c9891b4180f89bf5ec9083","target":"record","created_at":"2026-05-18T01:37:37Z","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":"bfcc8405d0021f9b18fa901791f207f4ca640c67ec3980d7f9411047f751f5e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-08-10T22:43:03Z","title_canon_sha256":"377a34c638344ba5bdbd4c9964e9c8138f6c4a6bd4c5e0d3985445c984f912f3"},"schema_version":"1.0","source":{"id":"1308.2349","kind":"arxiv","version":3}},"canonical_sha256":"a1a978a32e9b9c39243bec0c448a973c0d4ffaabdb9283f18eb2b2169e572d3f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1a978a32e9b9c39243bec0c448a973c0d4ffaabdb9283f18eb2b2169e572d3f","first_computed_at":"2026-05-18T01:37:37.942961Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:37.942961Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jl6Flw16qxidn2OzAO25dlRbcPkCg27w37eX/R8OCRPOsostEuvi/Yw/Lbg3lJ7mUsC3hfDohh0X72/8KJlRCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:37.943423Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.2349","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf9c398b680abad22f4c7a677c98900d1d8ca24735c9891b4180f89bf5ec9083","sha256:60b07518ec1f2334a65030fc9706ee4b512f903621d6f6c00a5c15c5255b5571"],"state_sha256":"b1347d27918f9a6bb29a097fac52a4768321907788372a7118b87c972eff8d24"}