{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:7VOFXPS76U2TP3UYIBGA4J5LCV","short_pith_number":"pith:7VOFXPS7","schema_version":"1.0","canonical_sha256":"fd5c5bbe5ff53537ee98404c0e27ab15431a083c0b43b4de0ca0c65bacc2f9b7","source":{"kind":"arxiv","id":"1503.04912","version":1},"attestation_state":"computed","paper":{"title":"Improving Runtime Overheads for detectEr","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian Francalanza (University of Malta), Ian Cassar (University of Malta), Simon Said (University of Malta)","submitted_at":"2015-03-17T03:59:36Z","abstract_excerpt":"We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement these optimisations as part of the existing tool and show that they yield considerably lower runtime overheads when compared to the unoptimised monitor synthesis."},"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":"1503.04912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-17T03:59:36Z","cross_cats_sorted":[],"title_canon_sha256":"d2b08d90730c3d9f89e126e5675907f271c28c664af609bf5f11f3c5782948e5","abstract_canon_sha256":"44d7968d89311e3d52449681a4253abef3113823dce070262094fa2d951ea21b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:21.177160Z","signature_b64":"75ikD1hx68MkVqQaLuQDxkBeT5D39quE3+a1ilaP62F72Lu8ew0ZBe6IKNw+4LAeUfZmYkEG1ba0af0x7utoAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd5c5bbe5ff53537ee98404c0e27ab15431a083c0b43b4de0ca0c65bacc2f9b7","last_reissued_at":"2026-05-18T02:22:21.176567Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:21.176567Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Improving Runtime Overheads for detectEr","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian Francalanza (University of Malta), Ian Cassar (University of Malta), Simon Said (University of Malta)","submitted_at":"2015-03-17T03:59:36Z","abstract_excerpt":"We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement these optimisations as part of the existing tool and show that they yield considerably lower runtime overheads when compared to the unoptimised monitor synthesis."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.04912","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":"1503.04912","created_at":"2026-05-18T02:22:21.176683+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.04912v1","created_at":"2026-05-18T02:22:21.176683+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.04912","created_at":"2026-05-18T02:22:21.176683+00:00"},{"alias_kind":"pith_short_12","alias_value":"7VOFXPS76U2T","created_at":"2026-05-18T12:29:10.953037+00:00"},{"alias_kind":"pith_short_16","alias_value":"7VOFXPS76U2TP3UY","created_at":"2026-05-18T12:29:10.953037+00:00"},{"alias_kind":"pith_short_8","alias_value":"7VOFXPS7","created_at":"2026-05-18T12:29:10.953037+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/7VOFXPS76U2TP3UYIBGA4J5LCV","json":"https://pith.science/pith/7VOFXPS76U2TP3UYIBGA4J5LCV.json","graph_json":"https://pith.science/api/pith-number/7VOFXPS76U2TP3UYIBGA4J5LCV/graph.json","events_json":"https://pith.science/api/pith-number/7VOFXPS76U2TP3UYIBGA4J5LCV/events.json","paper":"https://pith.science/paper/7VOFXPS7"},"agent_actions":{"view_html":"https://pith.science/pith/7VOFXPS76U2TP3UYIBGA4J5LCV","download_json":"https://pith.science/pith/7VOFXPS76U2TP3UYIBGA4J5LCV.json","view_paper":"https://pith.science/paper/7VOFXPS7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.04912&json=true","fetch_graph":"https://pith.science/api/pith-number/7VOFXPS76U2TP3UYIBGA4J5LCV/graph.json","fetch_events":"https://pith.science/api/pith-number/7VOFXPS76U2TP3UYIBGA4J5LCV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7VOFXPS76U2TP3UYIBGA4J5LCV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7VOFXPS76U2TP3UYIBGA4J5LCV/action/storage_attestation","attest_author":"https://pith.science/pith/7VOFXPS76U2TP3UYIBGA4J5LCV/action/author_attestation","sign_citation":"https://pith.science/pith/7VOFXPS76U2TP3UYIBGA4J5LCV/action/citation_signature","submit_replication":"https://pith.science/pith/7VOFXPS76U2TP3UYIBGA4J5LCV/action/replication_record"}},"created_at":"2026-05-18T02:22:21.176683+00:00","updated_at":"2026-05-18T02:22:21.176683+00:00"}