{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:3QPAHLGIQBUDPAKCDNMSCXPWXK","short_pith_number":"pith:3QPAHLGI","canonical_record":{"source":{"id":"1801.10140","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-30T18:46:58Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"8b71ae7511b34759ccb840a7bbb8018bbd7a8fd060060f01018d1ea1a3e6d4c9","abstract_canon_sha256":"e986625fad3ae5939eaae54905f62c4582eaced3f31b477424227a42ce8e1182"},"schema_version":"1.0"},"canonical_sha256":"dc1e03acc880683781421b59215df6baa18adb0f648fd2def2b4fd9dbb060fc4","source":{"kind":"arxiv","id":"1801.10140","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.10140","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"arxiv_version","alias_value":"1801.10140v2","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.10140","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"pith_short_12","alias_value":"3QPAHLGIQBUD","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3QPAHLGIQBUDPAKC","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3QPAHLGI","created_at":"2026-05-18T12:32:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:3QPAHLGIQBUDPAKCDNMSCXPWXK","target":"record","payload":{"canonical_record":{"source":{"id":"1801.10140","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-30T18:46:58Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"8b71ae7511b34759ccb840a7bbb8018bbd7a8fd060060f01018d1ea1a3e6d4c9","abstract_canon_sha256":"e986625fad3ae5939eaae54905f62c4582eaced3f31b477424227a42ce8e1182"},"schema_version":"1.0"},"canonical_sha256":"dc1e03acc880683781421b59215df6baa18adb0f648fd2def2b4fd9dbb060fc4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:25.320301Z","signature_b64":"j8Lf9/hyiqtOTdSTeQAHgxB0OlDkXZ/CXHQphvcdoYexjNOV8kGML8uJdgwgG8ONzLGw4eLynGGfgyzzDnW3Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc1e03acc880683781421b59215df6baa18adb0f648fd2def2b4fd9dbb060fc4","last_reissued_at":"2026-05-18T00:18:25.319805Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:25.319805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.10140","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:18:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EKkBbaoaUtb3xK6qlXGFcSl1alg+YTjxAMbYrOb/9HyXMNuK1Y4TSt3oQVAimFEtYKoeLhlSH1uknKBl5zG9CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T10:24:30.103011Z"},"content_sha256":"ba2d52453cbe1172ef0507a8c52a4d3a7312edeac8287aa4c5614599c4ee9c49","schema_version":"1.0","event_id":"sha256:ba2d52453cbe1172ef0507a8c52a4d3a7312edeac8287aa4c5614599c4ee9c49"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:3QPAHLGIQBUDPAKCDNMSCXPWXK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EMME: a formal tool for ECMAScript Memory Model Evaluation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Ben Smith, Bradley Nelson, Clark Barrett, Cristian Mattarei, JF Bastien, Shu-Yu Guo","submitted_at":"2018-01-30T18:46:58Z","abstract_excerpt":"Nearly all web-based interfaces are written in JavaScript. Given its prevalence, the support for high performance JavaScript code is crucial. The ECMA Technical Committee 39 (TC39) has recently extended the ECMAScript language (i.e., JavaScript) to support shared memory accesses between different threads. The extension is given in terms of a natural language memory model specification. In this paper we describe a formal approach for validating both the memory model and its implementations in various JavaScript engines. We first introduce a formal version of the memory model and report results "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.10140","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:18:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5IYzunp/N1LIdnjLqxSrTaW/nORCllJRUcfGx9z+mgN+xK/mc+UBKoLLeVv8W7NNHAjWBLa69GEOzuExClNiAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T10:24:30.103373Z"},"content_sha256":"07104b57c3dd4f286b9f734d914f838df67c9d728a5d75e1ed8c6019991c4b1d","schema_version":"1.0","event_id":"sha256:07104b57c3dd4f286b9f734d914f838df67c9d728a5d75e1ed8c6019991c4b1d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3QPAHLGIQBUDPAKCDNMSCXPWXK/bundle.json","state_url":"https://pith.science/pith/3QPAHLGIQBUDPAKCDNMSCXPWXK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3QPAHLGIQBUDPAKCDNMSCXPWXK/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T10:24:30Z","links":{"resolver":"https://pith.science/pith/3QPAHLGIQBUDPAKCDNMSCXPWXK","bundle":"https://pith.science/pith/3QPAHLGIQBUDPAKCDNMSCXPWXK/bundle.json","state":"https://pith.science/pith/3QPAHLGIQBUDPAKCDNMSCXPWXK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3QPAHLGIQBUDPAKCDNMSCXPWXK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:3QPAHLGIQBUDPAKCDNMSCXPWXK","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e986625fad3ae5939eaae54905f62c4582eaced3f31b477424227a42ce8e1182","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-30T18:46:58Z","title_canon_sha256":"8b71ae7511b34759ccb840a7bbb8018bbd7a8fd060060f01018d1ea1a3e6d4c9"},"schema_version":"1.0","source":{"id":"1801.10140","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.10140","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"arxiv_version","alias_value":"1801.10140v2","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.10140","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"pith_short_12","alias_value":"3QPAHLGIQBUD","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3QPAHLGIQBUDPAKC","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3QPAHLGI","created_at":"2026-05-18T12:32:02Z"}],"graph_snapshots":[{"event_id":"sha256:07104b57c3dd4f286b9f734d914f838df67c9d728a5d75e1ed8c6019991c4b1d","target":"graph","created_at":"2026-05-18T00:18:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Nearly all web-based interfaces are written in JavaScript. Given its prevalence, the support for high performance JavaScript code is crucial. The ECMA Technical Committee 39 (TC39) has recently extended the ECMAScript language (i.e., JavaScript) to support shared memory accesses between different threads. The extension is given in terms of a natural language memory model specification. In this paper we describe a formal approach for validating both the memory model and its implementations in various JavaScript engines. We first introduce a formal version of the memory model and report results ","authors_text":"Ben Smith, Bradley Nelson, Clark Barrett, Cristian Mattarei, JF Bastien, Shu-Yu Guo","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-30T18:46:58Z","title":"EMME: a formal tool for ECMAScript Memory Model Evaluation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.10140","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ba2d52453cbe1172ef0507a8c52a4d3a7312edeac8287aa4c5614599c4ee9c49","target":"record","created_at":"2026-05-18T00:18:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e986625fad3ae5939eaae54905f62c4582eaced3f31b477424227a42ce8e1182","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-30T18:46:58Z","title_canon_sha256":"8b71ae7511b34759ccb840a7bbb8018bbd7a8fd060060f01018d1ea1a3e6d4c9"},"schema_version":"1.0","source":{"id":"1801.10140","kind":"arxiv","version":2}},"canonical_sha256":"dc1e03acc880683781421b59215df6baa18adb0f648fd2def2b4fd9dbb060fc4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc1e03acc880683781421b59215df6baa18adb0f648fd2def2b4fd9dbb060fc4","first_computed_at":"2026-05-18T00:18:25.319805Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:25.319805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"j8Lf9/hyiqtOTdSTeQAHgxB0OlDkXZ/CXHQphvcdoYexjNOV8kGML8uJdgwgG8ONzLGw4eLynGGfgyzzDnW3Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:25.320301Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.10140","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba2d52453cbe1172ef0507a8c52a4d3a7312edeac8287aa4c5614599c4ee9c49","sha256:07104b57c3dd4f286b9f734d914f838df67c9d728a5d75e1ed8c6019991c4b1d"],"state_sha256":"24b47fed0b3062ada8198bada275822a0c4b77866be5d3a1949778907273e1f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XRBHnA22/P7JnIBlqGJ3Lk8FXDQnhU9QeZUoyFgPQX+VjnkFm1FhBOHJd2MPsUNSh6cTmRJgyMN8p5NrR/w+Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T10:24:30.105386Z","bundle_sha256":"672287a4f8bfd32e4ef482c7f86413466ba309176b1c1ba4c5f92de83b76f141"}}