{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:3D5LSQMUJS2OUAFQRKHV5W5XQS","short_pith_number":"pith:3D5LSQMU","schema_version":"1.0","canonical_sha256":"d8fab941944cb4ea00b08a8f5edbb784b71b4a245d62bb7df797c61a0076d126","source":{"kind":"arxiv","id":"1101.3161","version":1},"attestation_state":"computed","paper":{"title":"Ensuring Correctness at the Application Level: a Software Framework Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.SE","authors_text":"Eloisa Bentivegna, Erik Schnetter, Gabrielle Allen, Oleg Korobkin","submitted_at":"2011-01-17T09:42:17Z","abstract_excerpt":"As scientific applications extend to the simulation of more and more complex systems, they involve an increasing number of abstraction levels, at each of which errors can emerge and across which they can propagate; tools for correctness evaluation and enforcement at every level (from the code level to the application level) are therefore necessary. Whilst code-level debugging tools are already a well established standard, application-level tools are lagging behind, possibly due to their stronger dependence on the application's details. In this paper, we describe the programming model introduce"},"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":"1101.3161","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-01-17T09:42:17Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"147ead01b62fc1ffdcaf57b7bfda86b3eaa90b8ca3654f777d46cd68f0b3f790","abstract_canon_sha256":"f3b17e24f02eabb85182a2e6ece4183446b934d2afd9c0b6b7791d2b9dcb6c03"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:31:30.383983Z","signature_b64":"FSse3g/cfp+UOt0MEARe3x0Jyj4rzG7kHrAQjzkryndZQb6jM9T4Io5R+n9Vi7D2HA4eCaqgcrq7LBemNDmnDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8fab941944cb4ea00b08a8f5edbb784b71b4a245d62bb7df797c61a0076d126","last_reissued_at":"2026-05-18T04:31:30.383230Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:31:30.383230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Ensuring Correctness at the Application Level: a Software Framework Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.SE","authors_text":"Eloisa Bentivegna, Erik Schnetter, Gabrielle Allen, Oleg Korobkin","submitted_at":"2011-01-17T09:42:17Z","abstract_excerpt":"As scientific applications extend to the simulation of more and more complex systems, they involve an increasing number of abstraction levels, at each of which errors can emerge and across which they can propagate; tools for correctness evaluation and enforcement at every level (from the code level to the application level) are therefore necessary. Whilst code-level debugging tools are already a well established standard, application-level tools are lagging behind, possibly due to their stronger dependence on the application's details. In this paper, we describe the programming model introduce"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.3161","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":"1101.3161","created_at":"2026-05-18T04:31:30.383336+00:00"},{"alias_kind":"arxiv_version","alias_value":"1101.3161v1","created_at":"2026-05-18T04:31:30.383336+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.3161","created_at":"2026-05-18T04:31:30.383336+00:00"},{"alias_kind":"pith_short_12","alias_value":"3D5LSQMUJS2O","created_at":"2026-05-18T12:26:18.847500+00:00"},{"alias_kind":"pith_short_16","alias_value":"3D5LSQMUJS2OUAFQ","created_at":"2026-05-18T12:26:18.847500+00:00"},{"alias_kind":"pith_short_8","alias_value":"3D5LSQMU","created_at":"2026-05-18T12:26:18.847500+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/3D5LSQMUJS2OUAFQRKHV5W5XQS","json":"https://pith.science/pith/3D5LSQMUJS2OUAFQRKHV5W5XQS.json","graph_json":"https://pith.science/api/pith-number/3D5LSQMUJS2OUAFQRKHV5W5XQS/graph.json","events_json":"https://pith.science/api/pith-number/3D5LSQMUJS2OUAFQRKHV5W5XQS/events.json","paper":"https://pith.science/paper/3D5LSQMU"},"agent_actions":{"view_html":"https://pith.science/pith/3D5LSQMUJS2OUAFQRKHV5W5XQS","download_json":"https://pith.science/pith/3D5LSQMUJS2OUAFQRKHV5W5XQS.json","view_paper":"https://pith.science/paper/3D5LSQMU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1101.3161&json=true","fetch_graph":"https://pith.science/api/pith-number/3D5LSQMUJS2OUAFQRKHV5W5XQS/graph.json","fetch_events":"https://pith.science/api/pith-number/3D5LSQMUJS2OUAFQRKHV5W5XQS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3D5LSQMUJS2OUAFQRKHV5W5XQS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3D5LSQMUJS2OUAFQRKHV5W5XQS/action/storage_attestation","attest_author":"https://pith.science/pith/3D5LSQMUJS2OUAFQRKHV5W5XQS/action/author_attestation","sign_citation":"https://pith.science/pith/3D5LSQMUJS2OUAFQRKHV5W5XQS/action/citation_signature","submit_replication":"https://pith.science/pith/3D5LSQMUJS2OUAFQRKHV5W5XQS/action/replication_record"}},"created_at":"2026-05-18T04:31:30.383336+00:00","updated_at":"2026-05-18T04:31:30.383336+00:00"}