{
  "schema": "grayworth.datacite-preview.v1",
  "publication_id": "GW-2026-0005",
  "doi": "10.5281/zenodo.21759781",
  "identifier": {
    "identifier": "10.5281/zenodo.21759781",
    "identifierType": "DOI"
  },
  "types": {
    "resourceTypeGeneral": "Text",
    "resourceType": "Preprint"
  },
  "creators": [
    {
      "name": "Annabella Proctor",
      "nameType": "Personal",
      "givenName": "Annabella",
      "familyName": "Proctor",
      "affiliation": [
        {
          "name": "Grayworth"
        }
      ],
      "nameIdentifiers": [
        {
          "nameIdentifier": "https://orcid.org/0009-0000-0799-1757",
          "nameIdentifierScheme": "ORCID",
          "schemeUri": "https://orcid.org"
        },
        {
          "nameIdentifier": "https://isni.org/isni/0000000530671646",
          "nameIdentifierScheme": "ISNI",
          "schemeUri": "https://isni.org"
        }
      ]
    }
  ],
  "titles": [
    {
      "title": "Typed SSA NativeIR for Semantics-Preserving JIT and Static AOT in Gray"
    }
  ],
  "publisher": {
    "name": "Grayworth Technical Publications",
    "publisherIdentifier": "https://isni.org/isni/0000000530671654",
    "publisherIdentifierScheme": "ISNI",
    "schemeUri": "https://isni.org"
  },
  "publicationYear": 2026,
  "dates": [
    {
      "date": "2026-08-05",
      "dateType": "Issued"
    }
  ],
  "version": "1.0",
  "language": "en",
  "descriptions": [
    {
      "descriptionType": "Abstract",
      "description": "This paper presents Gray's typed NativeIR, a bounded control-flow representation used to compile a numeric subset of Gray bytecode to native code on both x86-64 and AArch64 architectures. The system introduces typed control-flow graphs, SSA values, Phi nodes, register classes, architecture-specific lowering, and a shared backend path for Live JIT, Static execution, and native executable artifacts. Native calls, structured exits, source identity, deterministic artifacts, cooperative cancellation, and refusal-safe VM fallback are retained as part of the compiler-runtime contract. The result establishes Gray's native execution path as a portable backend rather than a collection of benchmark-specific accelerators, while clearly identifying the current boundary of supported native code."
    },
    {
      "descriptionType": "Other",
      "description": "Gray's typed NativeIR connects Live JIT, Static AOT, and native executable generation across Linux x86-64 and Apple Silicon AArch64 while retaining fallback and runtime semantics."
    }
  ],
  "subjects": [
    {
      "subject": "Gray"
    },
    {
      "subject": "NativeIR"
    },
    {
      "subject": "SSA"
    },
    {
      "subject": "JIT"
    },
    {
      "subject": "AOT"
    },
    {
      "subject": "x86-64"
    },
    {
      "subject": "AArch64"
    },
    {
      "subject": "compiler backend"
    }
  ],
  "url": "https://grayworth.com/publications/gw-2026-0005",
  "relatedIdentifiers": [
    {
      "relatedIdentifier": "https://grayworth.com/publications/gw-2026-0005",
      "relatedIdentifierType": "URL",
      "relationType": "IsIdenticalTo"
    }
  ],
  "generated_at": "2026-09-08T18:35:47.007Z"
}