{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:DBWC6TU3HC3HYF63OSE6ORC25T","short_pith_number":"pith:DBWC6TU3","schema_version":"1.0","canonical_sha256":"186c2f4e9b38b67c17db7489e7445aece0e7e2a6711b75b361ef1f78cbe959bd","source":{"kind":"arxiv","id":"1806.08416","version":1},"attestation_state":"computed","paper":{"title":"Automated Detection of Serializability Violations under Weak Consistency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Kartik Nagar, Suresh Jagannathan","submitted_at":"2018-06-21T20:21:24Z","abstract_excerpt":"While a number of weak consistency mechanisms have been developed in recent years to improve performance and ensure availability in distributed, replicated systems, ensuring correctness of transactional applications running on top of such systems remains a difficult and important problem. Serializability is a well-understood correctness criterion for transactional programs; understanding whether applications are serializable when executed in a weakly-consistent environment, however remains a challenging exercise. In this work, we combine the dependency graph-based characterization of serializa"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1806.08416","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-06-21T20:21:24Z","cross_cats_sorted":[],"title_canon_sha256":"6608b6ad069d330d92b64d66ef3d0bbf3309da8e85ecaa9e7f883ca9cfcc43f5","abstract_canon_sha256":"781d35a81b59321990ffb719422100ce80df519dd6a1e15c5809b4653158c445"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:37.448541Z","signature_b64":"UBJVh+49l8FjQ2PfpP4flt+DUW3Ueqw0QqiYAoCY1h5ax0Fk2Aa6SGrIjaZaiTwv4AtoI7ZB38wthBaZk0K4BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"186c2f4e9b38b67c17db7489e7445aece0e7e2a6711b75b361ef1f78cbe959bd","last_reissued_at":"2026-05-18T00:12:37.447798Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:37.447798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Detection of Serializability Violations under Weak Consistency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Kartik Nagar, Suresh Jagannathan","submitted_at":"2018-06-21T20:21:24Z","abstract_excerpt":"While a number of weak consistency mechanisms have been developed in recent years to improve performance and ensure availability in distributed, replicated systems, ensuring correctness of transactional applications running on top of such systems remains a difficult and important problem. Serializability is a well-understood correctness criterion for transactional programs; understanding whether applications are serializable when executed in a weakly-consistent environment, however remains a challenging exercise. In this work, we combine the dependency graph-based characterization of serializa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.08416","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1806.08416","created_at":"2026-05-18T00:12:37.447928+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.08416v1","created_at":"2026-05-18T00:12:37.447928+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.08416","created_at":"2026-05-18T00:12:37.447928+00:00"},{"alias_kind":"pith_short_12","alias_value":"DBWC6TU3HC3H","created_at":"2026-05-18T12:32:19.392346+00:00"},{"alias_kind":"pith_short_16","alias_value":"DBWC6TU3HC3HYF63","created_at":"2026-05-18T12:32:19.392346+00:00"},{"alias_kind":"pith_short_8","alias_value":"DBWC6TU3","created_at":"2026-05-18T12:32:19.392346+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T","json":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T.json","graph_json":"https://pith.science/api/pith-number/DBWC6TU3HC3HYF63OSE6ORC25T/graph.json","events_json":"https://pith.science/api/pith-number/DBWC6TU3HC3HYF63OSE6ORC25T/events.json","paper":"https://pith.science/paper/DBWC6TU3"},"agent_actions":{"view_html":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T","download_json":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T.json","view_paper":"https://pith.science/paper/DBWC6TU3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.08416&json=true","fetch_graph":"https://pith.science/api/pith-number/DBWC6TU3HC3HYF63OSE6ORC25T/graph.json","fetch_events":"https://pith.science/api/pith-number/DBWC6TU3HC3HYF63OSE6ORC25T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/action/storage_attestation","attest_author":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/action/author_attestation","sign_citation":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/action/citation_signature","submit_replication":"https://pith.science/pith/DBWC6TU3HC3HYF63OSE6ORC25T/action/replication_record"}},"created_at":"2026-05-18T00:12:37.447928+00:00","updated_at":"2026-05-18T00:12:37.447928+00:00"}