Press kit
Name guidance
Use Annabella Proctor.
Preferred: Annabella Proctor
Alternate/previous publication: Annabella Adair-Proctor
First reference: Annabella Proctor
Subsequent references: Proctor
Name guidance
Preferred: Annabella Proctor
Alternate/previous publication: Annabella Adair-Proctor
First reference: Annabella Proctor
Subsequent references: Proctor
Languages, websites, and the systems underneath them.
The programming language and native runtime I created.
Open language reference ↗The software company I co-founded and serve as CTO.
Visit Grayworth ↗Explore Gray’s benchmarks and release evidence.
Open Preflight ↗These production sites run on Gray. The language, runtime, and applications are part of the same ongoing work.
Roles and dates from my maintained professional record. LinkedIn profile ↗
2026-03 — Present
Leads the development of Gray and the technical systems behind Grayworth's commercial software products.
2025-01 — 2025-06
Worked across systems infrastructure, account delivery, workflow automation, and project coordination.

2023-06 — 2024-09
Supported cross-functional game-development and product-management work.
2021-01 — 2024-06
Worked with Java server systems, game mechanics, and community operations.
2023-04 — 2024-04
Worked on game mechanics, interfaces, and delivery coordination.
2023-06 — 2023-09
Gained field experience in electrical systems, troubleshooting, planning, and customer work.
More software from my public GitHub:
A browser workspace for drawing electronic schematics and routing circuit boards.
Inventory software for electronics labs, hardware teams, and component collections.
A database-backed workspace for discovering, evaluating, and organizing domain names.
CorrectnessLive, Static, and Adaptive execution are checked against the same language and protocol behavior.
PressureOpen-loop load tests expose queue collapse that peak requests-per-second can hide.
SafetySanitizers, fuzzing, invalid input, cancellation, and resource-growth gates are part of feature acceptance.
EvidenceRaw outputs, hashes, environments, and qualification rules remain attached to public claims.

One photo for now. A small album has to start somewhere.
Technical papers on Gray’s execution, correctness, and production behavior. Click a paper to open its publication record.
01Measuring a server over time, including latency under load.
Publication record ↗Database waits and direct-style server code.
Publication record ↗Preserving cancellation behavior during native execution.
Publication record ↗A shared typed representation for JIT and ahead-of-time execution.
Publication record ↗Meet Gray, the programming language and native runtime created by Annabella Proctor, and find the documentation, papers, and benchmark evidence behind it.
Read article ↗Research notesA practical guide to workload scope, latency, throughput, correctness, and reproducibility when comparing language runtimes and server benchmarks.
Read article ↗Behind the websiteA few notes on my pink desktop website, the simpler phone layout, and the Gray pages underneath it.
Read article ↗My bookmark collection: profiles, projects, papers, and all the places my name lives.