{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:3TK2BAXGF3IKVKHNWUWRIYTZDX","short_pith_number":"pith:3TK2BAXG","schema_version":"1.0","canonical_sha256":"dcd5a082e62ed0aaa8edb52d1462791dda4fe27a4cf003ebed17dcb03f93e8a0","source":{"kind":"arxiv","id":"1805.06090","version":1},"attestation_state":"computed","paper":{"title":"Verifying Programs Under Custom Application-Specific Execution Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Brett Boston, Michael Carbin, Zoe Gong","submitted_at":"2018-05-16T01:42:01Z","abstract_excerpt":"Researchers have recently designed a number of application-specific fault tolerance mechanisms that enable applications to either be naturally resilient to errors or include additional detection and correction steps that can bring the overall execution of an application back into an envelope for which an acceptable execution is eventually guaranteed. A major challenge to building an application that leverages these mechanisms, however, is to verify that the implementation satisfies the basic invariants that these mechanisms require--given a model of how faults may manifest during the applicati"},"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":"1805.06090","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-16T01:42:01Z","cross_cats_sorted":[],"title_canon_sha256":"4db7db5d7d8ad96173cb97c119a5615989bfa5947afeec5d989598208811e2b7","abstract_canon_sha256":"6011e3bbf477a26b9c513b4f0391647d0cf3b48bdc23360e35e2c9a5e6df911a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:48.937081Z","signature_b64":"y/7X4cjCvGa5797/8rlF9PtpCF1GbefzNFLIT+9zt0OTe4Ypgxgd8Irh7LZgASK9omuAntzY/2YVYmzhB5NCCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dcd5a082e62ed0aaa8edb52d1462791dda4fe27a4cf003ebed17dcb03f93e8a0","last_reissued_at":"2026-05-18T00:15:48.936576Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:48.936576Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verifying Programs Under Custom Application-Specific Execution Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Brett Boston, Michael Carbin, Zoe Gong","submitted_at":"2018-05-16T01:42:01Z","abstract_excerpt":"Researchers have recently designed a number of application-specific fault tolerance mechanisms that enable applications to either be naturally resilient to errors or include additional detection and correction steps that can bring the overall execution of an application back into an envelope for which an acceptable execution is eventually guaranteed. A major challenge to building an application that leverages these mechanisms, however, is to verify that the implementation satisfies the basic invariants that these mechanisms require--given a model of how faults may manifest during the applicati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.06090","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":"1805.06090","created_at":"2026-05-18T00:15:48.936653+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.06090v1","created_at":"2026-05-18T00:15:48.936653+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.06090","created_at":"2026-05-18T00:15:48.936653+00:00"},{"alias_kind":"pith_short_12","alias_value":"3TK2BAXGF3IK","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_16","alias_value":"3TK2BAXGF3IKVKHN","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_8","alias_value":"3TK2BAXG","created_at":"2026-05-18T12:32:05.422762+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/3TK2BAXGF3IKVKHNWUWRIYTZDX","json":"https://pith.science/pith/3TK2BAXGF3IKVKHNWUWRIYTZDX.json","graph_json":"https://pith.science/api/pith-number/3TK2BAXGF3IKVKHNWUWRIYTZDX/graph.json","events_json":"https://pith.science/api/pith-number/3TK2BAXGF3IKVKHNWUWRIYTZDX/events.json","paper":"https://pith.science/paper/3TK2BAXG"},"agent_actions":{"view_html":"https://pith.science/pith/3TK2BAXGF3IKVKHNWUWRIYTZDX","download_json":"https://pith.science/pith/3TK2BAXGF3IKVKHNWUWRIYTZDX.json","view_paper":"https://pith.science/paper/3TK2BAXG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.06090&json=true","fetch_graph":"https://pith.science/api/pith-number/3TK2BAXGF3IKVKHNWUWRIYTZDX/graph.json","fetch_events":"https://pith.science/api/pith-number/3TK2BAXGF3IKVKHNWUWRIYTZDX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3TK2BAXGF3IKVKHNWUWRIYTZDX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3TK2BAXGF3IKVKHNWUWRIYTZDX/action/storage_attestation","attest_author":"https://pith.science/pith/3TK2BAXGF3IKVKHNWUWRIYTZDX/action/author_attestation","sign_citation":"https://pith.science/pith/3TK2BAXGF3IKVKHNWUWRIYTZDX/action/citation_signature","submit_replication":"https://pith.science/pith/3TK2BAXGF3IKVKHNWUWRIYTZDX/action/replication_record"}},"created_at":"2026-05-18T00:15:48.936653+00:00","updated_at":"2026-05-18T00:15:48.936653+00:00"}