October 2024–June 2025
Saturday kitchen work, planning weekend meals and preparing food for students.
June–September 2024
Community meal delivery and food service.
Source: my LinkedIn volunteer record, checked September 8, 2026.
English: native or bilingual proficiency. Spanish: limited working proficiency, as listed on my LinkedIn profile.
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.
ResearchGateResearch profile
Google ScholarResearcher profile
OpenAlexScholarly author profile
AmazonAuthor profile
Open LibraryAuthor authority page
LibraryThingAuthor page
StoryGraphAuthor page
Academia.eduResearch profileOpen Library record for Sustained Corrected-Latency Qualification of an Integrated Server Language RuntimeBook catalog recordOpen Library record for Compiler-Hidden PostgreSQL Continuations for Direct-Style Server ProgramsBook catalog recordOpen Library record for Cancellation-Safe Native Loop Lowering in the Gray RuntimeBook catalog recordOpen Library record for Typed SSA NativeIR for Semantics-Preserving JIT and Static AOT in GrayBook catalog recordLincoln CitizenNews articleGrayworthCompany-authored technical record
Gray LanguageProduct documentation
GrayworthProject website
PreflightProject website
WiretracksA browser workspace for drawing electronic schematics and routing circuit boards.
PartCountInventory software for electronics labs, hardware teams, and component collections.Domain ScoutA database-backed workspace for discovering, evaluating, and organizing domain names.
Get in touch ♡Projects, questions, or a little helloAnnabella’s desktop
