{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:N4YADEB5TWUWNAZXVEKFGVH5H6","short_pith_number":"pith:N4YADEB5","schema_version":"1.0","canonical_sha256":"6f3001903d9da9668337a9145354fd3f9aa979f495752ae3b42c15515e93f58e","source":{"kind":"arxiv","id":"1802.08474","version":2},"attestation_state":"computed","paper":{"title":"IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Carla Ferreira, Nuno Pregui\\c{c}a, Rodrigo Rodrigues, S\\'ergio Duarte, Valter Balegas","submitted_at":"2018-02-23T10:38:51Z","abstract_excerpt":"Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, under Weak Consistency, it is harder to ensure the correctness of applications, as the execution of uncoordinated operations may lead to invalid states.\n  In this paper we show how to modify an application to make it run correctly under Weak Consistency. We developed an analysis that detects which operations need to be corrected, and proposes possible modifications to operations to prevent inconsistencies. This analysi"},"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":"1802.08474","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-02-23T10:38:51Z","cross_cats_sorted":[],"title_canon_sha256":"eb836b923284bcb1c4078cb61c97c43ab750db276f75c53dbc3cff9830adb840","abstract_canon_sha256":"95448cf0077800ae93e45a87acece4f673b90c96bab2846ae588d1bfdddecf5d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:36.761552Z","signature_b64":"4wS0jVL0J2yVu//Y5xvJ6i6Luw3I/N/2QQcrd2MG6b0s7ntVGVKmCABCIY56PUoVO999GrqdI65nHjm1KYqjDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f3001903d9da9668337a9145354fd3f9aa979f495752ae3b42c15515e93f58e","last_reissued_at":"2026-05-18T00:22:36.761092Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:36.761092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Carla Ferreira, Nuno Pregui\\c{c}a, Rodrigo Rodrigues, S\\'ergio Duarte, Valter Balegas","submitted_at":"2018-02-23T10:38:51Z","abstract_excerpt":"Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, under Weak Consistency, it is harder to ensure the correctness of applications, as the execution of uncoordinated operations may lead to invalid states.\n  In this paper we show how to modify an application to make it run correctly under Weak Consistency. We developed an analysis that detects which operations need to be corrected, and proposes possible modifications to operations to prevent inconsistencies. This analysi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08474","kind":"arxiv","version":2},"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":"1802.08474","created_at":"2026-05-18T00:22:36.761160+00:00"},{"alias_kind":"arxiv_version","alias_value":"1802.08474v2","created_at":"2026-05-18T00:22:36.761160+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08474","created_at":"2026-05-18T00:22:36.761160+00:00"},{"alias_kind":"pith_short_12","alias_value":"N4YADEB5TWUW","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_16","alias_value":"N4YADEB5TWUWNAZX","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_8","alias_value":"N4YADEB5","created_at":"2026-05-18T12:32:40.477152+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/N4YADEB5TWUWNAZXVEKFGVH5H6","json":"https://pith.science/pith/N4YADEB5TWUWNAZXVEKFGVH5H6.json","graph_json":"https://pith.science/api/pith-number/N4YADEB5TWUWNAZXVEKFGVH5H6/graph.json","events_json":"https://pith.science/api/pith-number/N4YADEB5TWUWNAZXVEKFGVH5H6/events.json","paper":"https://pith.science/paper/N4YADEB5"},"agent_actions":{"view_html":"https://pith.science/pith/N4YADEB5TWUWNAZXVEKFGVH5H6","download_json":"https://pith.science/pith/N4YADEB5TWUWNAZXVEKFGVH5H6.json","view_paper":"https://pith.science/paper/N4YADEB5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1802.08474&json=true","fetch_graph":"https://pith.science/api/pith-number/N4YADEB5TWUWNAZXVEKFGVH5H6/graph.json","fetch_events":"https://pith.science/api/pith-number/N4YADEB5TWUWNAZXVEKFGVH5H6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N4YADEB5TWUWNAZXVEKFGVH5H6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N4YADEB5TWUWNAZXVEKFGVH5H6/action/storage_attestation","attest_author":"https://pith.science/pith/N4YADEB5TWUWNAZXVEKFGVH5H6/action/author_attestation","sign_citation":"https://pith.science/pith/N4YADEB5TWUWNAZXVEKFGVH5H6/action/citation_signature","submit_replication":"https://pith.science/pith/N4YADEB5TWUWNAZXVEKFGVH5H6/action/replication_record"}},"created_at":"2026-05-18T00:22:36.761160+00:00","updated_at":"2026-05-18T00:22:36.761160+00:00"}