{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:PXFUGDW4F5Y5MHNOISOULL3QI2","short_pith_number":"pith:PXFUGDW4","schema_version":"1.0","canonical_sha256":"7dcb430edc2f71d61dae449d45af70468d79b7681a5f3929171548e900674241","source":{"kind":"arxiv","id":"1807.03777","version":2},"attestation_state":"computed","paper":{"title":"Datalog-based Scalable Semantic Diffing of Concurrent Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Chao Wang, Chungha Sung, Constantin Enea, Shuvendu Lahiri","submitted_at":"2018-07-10T17:59:51Z","abstract_excerpt":"When an evolving program is modified to address issues related to thread synchronization, there is a need to confirm the change is correct, i.e., it does not introduce unexpected behavior. However, manually comparing two programs to identify the semantic difference is labor intensive and error prone, whereas techniques based on model checking are computationally expensive. To fill the gap, we develop a fast and approximate static analysis for computing synchronization differences of two programs. The method is fast because, instead of relying on heavy-weight model checking techniques, it lever"},"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":"1807.03777","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-10T17:59:51Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"331eb12dc94e90b3075bc79d7fa3a921b42ac2b7b12ead4a8ca7342e9c226be1","abstract_canon_sha256":"4ccbdd7efcf26eba35d1527c901c7a2f82dfe7696c8707431eab7bd246c30cb2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:44.226671Z","signature_b64":"EuzkW/QGoCUaOe1nTlg03/3Q+1/M64t2e3fyEsIrAX/n5he91VVWNfigvCv0HBRkkmR4/ekrATY1f/aSIHI4Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7dcb430edc2f71d61dae449d45af70468d79b7681a5f3929171548e900674241","last_reissued_at":"2026-05-18T00:10:44.225986Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:44.225986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Datalog-based Scalable Semantic Diffing of Concurrent Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Chao Wang, Chungha Sung, Constantin Enea, Shuvendu Lahiri","submitted_at":"2018-07-10T17:59:51Z","abstract_excerpt":"When an evolving program is modified to address issues related to thread synchronization, there is a need to confirm the change is correct, i.e., it does not introduce unexpected behavior. However, manually comparing two programs to identify the semantic difference is labor intensive and error prone, whereas techniques based on model checking are computationally expensive. To fill the gap, we develop a fast and approximate static analysis for computing synchronization differences of two programs. The method is fast because, instead of relying on heavy-weight model checking techniques, it lever"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.03777","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":"1807.03777","created_at":"2026-05-18T00:10:44.226113+00:00"},{"alias_kind":"arxiv_version","alias_value":"1807.03777v2","created_at":"2026-05-18T00:10:44.226113+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.03777","created_at":"2026-05-18T00:10:44.226113+00:00"},{"alias_kind":"pith_short_12","alias_value":"PXFUGDW4F5Y5","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_16","alias_value":"PXFUGDW4F5Y5MHNO","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_8","alias_value":"PXFUGDW4","created_at":"2026-05-18T12:32:46.962924+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/PXFUGDW4F5Y5MHNOISOULL3QI2","json":"https://pith.science/pith/PXFUGDW4F5Y5MHNOISOULL3QI2.json","graph_json":"https://pith.science/api/pith-number/PXFUGDW4F5Y5MHNOISOULL3QI2/graph.json","events_json":"https://pith.science/api/pith-number/PXFUGDW4F5Y5MHNOISOULL3QI2/events.json","paper":"https://pith.science/paper/PXFUGDW4"},"agent_actions":{"view_html":"https://pith.science/pith/PXFUGDW4F5Y5MHNOISOULL3QI2","download_json":"https://pith.science/pith/PXFUGDW4F5Y5MHNOISOULL3QI2.json","view_paper":"https://pith.science/paper/PXFUGDW4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1807.03777&json=true","fetch_graph":"https://pith.science/api/pith-number/PXFUGDW4F5Y5MHNOISOULL3QI2/graph.json","fetch_events":"https://pith.science/api/pith-number/PXFUGDW4F5Y5MHNOISOULL3QI2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PXFUGDW4F5Y5MHNOISOULL3QI2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PXFUGDW4F5Y5MHNOISOULL3QI2/action/storage_attestation","attest_author":"https://pith.science/pith/PXFUGDW4F5Y5MHNOISOULL3QI2/action/author_attestation","sign_citation":"https://pith.science/pith/PXFUGDW4F5Y5MHNOISOULL3QI2/action/citation_signature","submit_replication":"https://pith.science/pith/PXFUGDW4F5Y5MHNOISOULL3QI2/action/replication_record"}},"created_at":"2026-05-18T00:10:44.226113+00:00","updated_at":"2026-05-18T00:10:44.226113+00:00"}