{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "webassembly-design-semantics-2017",
    "title": "Haas and colleagues: WebAssembly design and formal semantics",
    "summary": "Described WebAssembly as a portable low-level bytecode with compact representation, efficient validation and compilation, safe execution and a formal semantics designed across major browser vendors.",
    "boundary": "The record is the exact 2017 PLDI paper. The evolving WebAssembly standard, individual engines, post-MVP features, browser deployment and the wider open-source contributor community remain separate.",
    "area": "Programming languages and compilers",
    "year": 2017,
    "lane": "HUMAN",
    "result": "FORMALIZATION",
    "package_id": "webassembly-design-semantics-2017",
    "target": {
      "record_id": "urn:uuid:7bcc46ec-6ca1-4302-aeca-bf430384bd3c",
      "version": 1,
      "content_hash": "sha256:1e185234ed979eeac3c98c974d7560a09f545c3318ae81975a25f07f00d42979"
    },
    "humans": [
      "Andreas Haas",
      "Andreas Rossberg",
      "Derek L. Schuff",
      "Ben L. Titzer",
      "Michael Holman",
      "Dan Gohman",
      "Luke Wagner",
      "Alon Zakai",
      "JF Bastien"
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "rossberg-webassembly-2017-pdf",
        "title": "Haas et al., Bringing the Web up to Speed with WebAssembly",
        "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
      },
      {
        "id": "crossref-webassembly-2017",
        "title": "Crossref record for WebAssembly PLDI paper",
        "url": "https://api.crossref.org/works/10.1145%2F3062341.3062363"
      }
    ],
    "geography": {
      "country_codes": [
        "DE",
        "US"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://css.csail.mit.edu/6.5660/2024/readings/wasm.pdf",
      "target": {
        "record_id": "urn:uuid:7bcc46ec-6ca1-4302-aeca-bf430384bd3c",
        "version": 1,
        "content_hash": "sha256:1e185234ed979eeac3c98c974d7560a09f545c3318ae81975a25f07f00d42979"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://css.csail.mit.edu/6.5660/2024/readings/wasm.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "DE": "Germany",
        "US": "United States"
      }
    },
    "points": "235000",
    "published_grade": {
      "id": "webassembly-design-semantics-2017",
      "entry_id": "webassembly-design-semantics-2017",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:7bcc46ec-6ca1-4302-aeca-bf430384bd3c",
        "version": 1,
        "content_hash": "sha256:1e185234ed979eeac3c98c974d7560a09f545c3318ae81975a25f07f00d42979"
      },
      "what_changed": "A shared portable low-level target for web execution received a rigorous design and semantics.",
      "scope": "Nine-author PLDI 2017 paper; standard process, later extensions and engine implementations excluded.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:7bcc46ec-6ca1-4302-aeca-bf430384bd3c",
        "version": 1,
        "content_hash": "sha256:1e185234ed979eeac3c98c974d7560a09f545c3318ae81975a25f07f00d42979"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Andreas Haas",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Andreas Rossberg",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Derek L. Schuff",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Ben L. Titzer",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Michael Holman",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Dan Gohman",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Luke Wagner",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Alon Zakai",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "JF Bastien",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
            "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Crossref record for WebAssembly PLDI paper",
            "url": "https://api.crossref.org/works/10.1145%2F3062341.3062363"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is the exact 2017 PLDI paper. The evolving WebAssembly standard, individual engines, post-MVP features, browser deployment and the wider open-source contributor community remain separate.",
        "domain": "Programming languages and compilers"
      },
      "sources": [
        {
          "citation": "Haas et al., Bringing the Web up to Speed with WebAssembly",
          "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf"
        },
        {
          "citation": "Crossref record for WebAssembly PLDI paper",
          "url": "https://api.crossref.org/works/10.1145%2F3062341.3062363"
        }
      ],
      "statement": "# Haas and colleagues: WebAssembly design and formal semantics\n\nDescribed WebAssembly as a portable low-level bytecode with compact representation, efficient validation and compilation, safe execution and a formal semantics designed across major browser vendors.\n\n## Scientific scope\n\nThe record is the exact 2017 PLDI paper. The evolving WebAssembly standard, individual engines, post-MVP features, browser deployment and the wider open-source contributor community remain separate.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nAndreas Haas; Andreas Rossberg; Derek L. Schuff; Ben L. Titzer; Michael Holman; Dan Gohman; Luke Wagner; Alon Zakai; JF Bastien\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [Haas et al., Bringing the Web up to Speed with WebAssembly](https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf)\n- [Crossref record for WebAssembly PLDI paper](https://api.crossref.org/works/10.1145%2F3062341.3062363)\n",
      "summary": "Described WebAssembly as a portable low-level bytecode with compact representation, efficient validation and compilation, safe execution and a formal semantics designed across major browser vendors.",
      "title": "Haas and colleagues: WebAssembly design and formal semantics"
    },
    "record_id": "urn:uuid:7bcc46ec-6ca1-4302-aeca-bf430384bd3c",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:7bcc46ec-6ca1-4302-aeca-bf430384bd3c",
      "version": 1,
      "content_hash": "sha256:1e185234ed979eeac3c98c974d7560a09f545c3318ae81975a25f07f00d42979"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:250c63753b764070921c803863f8b96614cbd6792d02ecba89459a3055243c1a"
  },
  "target": {
    "record_id": "urn:uuid:7bcc46ec-6ca1-4302-aeca-bf430384bd3c",
    "version": 1,
    "content_hash": "sha256:1e185234ed979eeac3c98c974d7560a09f545c3318ae81975a25f07f00d42979"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "webassembly-design-semantics-2017",
    "entry_id": "webassembly-design-semantics-2017",
    "revision": 1,
    "title": "Haas and colleagues: WebAssembly design and formal semantics",
    "context": "Programming languages",
    "track": "Language and virtual-machine design",
    "band": "A",
    "modifier": "+",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "A shared portable low-level target for web execution received a rigorous design and semantics.",
    "scope": "Nine-author PLDI 2017 paper; standard process, later extensions and engine implementations excluded.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 2017 PLDI paper. The evolving WebAssembly standard, individual engines, post-MVP features, browser deployment and the wider open-source contributor community remain separate.",
    "references": [
      {
        "title": "Haas et al., Bringing the Web up to Speed with WebAssembly",
        "url": "https://people.mpi-sws.org/~rossberg/papers/Haas%2C%20Rossberg%2C%20Schuff%2C%20Titzer%2C%20Gohman%2C%20Wagner%2C%20Zakai%2C%20Bastien%2C%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      },
      {
        "title": "Crossref record for WebAssembly PLDI paper",
        "url": "https://api.crossref.org/works/10.1145%2F3062341.3062363",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "Andreas Haas",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Andreas Rossberg",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Derek L. Schuff",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Ben L. Titzer",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Michael Holman",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Dan Gohman",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Luke Wagner",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Alon Zakai",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "JF Bastien",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:7bcc46ec-6ca1-4302-aeca-bf430384bd3c",
      "version": 1,
      "content_hash": "sha256:1e185234ed979eeac3c98c974d7560a09f545c3318ae81975a25f07f00d42979"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "235000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}