✿ What I work on
Programming languages, game development, native runtimes, databases, and the systems that make websites work.
✧ welcome to my space ♡ take a look around ♡ leave a little sparkle wherever you go ✧
A little about me
Hi, I’m Annabella
I created Gray, a programming language and native runtime for server software. I’m also co-founder and CTO of Grayworth.
This is my personal space on the web. You can look through what I’m making, find my research, or just click around.
make yourself at home ♡
Get in touch ♡Projects, questions, or a little hello
Read my biography ♡The longer story, from game servers to Gray
Explore my research ✧Papers on compilers, runtimes, and server systemsWhat’s on my desktop
♡ A little backstory
My earlier work was in Java game development and online communities. That grew into infrastructure work, and eventually Gray.
The longer version ↗A few chapters
- 2021Games & communities
Java server systems, game mechanics, and online community work.
- 2023–24Building and shipping
Game development and project management.
- 2025Behind the scenes
Infrastructure consulting, delivery, and workflow automation.
- 2026Grayworth & Gray
Co-founding Grayworth and building Gray’s language and runtime.
You’ve earned a tiny game break.
Matching cards, bubble wrap, hearts & stars, and Minesweeper.
From my notebook
Gray explained
What is Gray? A guide to the language, runtime, and research
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 notesHow to read a programming-language benchmark
A practical guide to workload scope, latency, throughput, correctness, and reproducibility when comparing language runtimes and server benchmarks.
Read article ↗Behind the websiteWhy my website has glitter and a taskbar
A few notes on my pink desktop website, the simpler phone layout, and the Gray pages underneath it.
Read article ↗My work
3 itemsLanguages, websites, and the systems underneath them.
Gray
The programming language and native runtime I created.
Open language reference ↗Grayworth
The software company I co-founded and serve as CTO.
Visit Grayworth ↗Preflight
Explore Gray’s benchmarks and release evidence.
Open Preflight ↗Running in the real world
These production sites run on Gray. The language, runtime, and applications are part of the same ongoing work.
Where I’ve worked
Roles and dates from my maintained professional record. LinkedIn profile ↗
2026-03 — Present
Grayworth
Co-Founder and Chief Technology Officer
Leads the development of Gray and the technical systems behind Grayworth's commercial software products.
2025-01 — 2025-06
DOT GROUP
Systems Infrastructure Account Manager and Consultant
Worked across systems infrastructure, account delivery, workflow automation, and project coordination.
2023-06 — 2024-09
Riot Games
Game Development and Project Management Intern
Supported cross-functional game-development and product-management work.
2021-01 — 2024-06
Hypixel Inc.
Java Game Developer and Community Manager
Worked with Java server systems, game mechanics, and community operations.
2023-04 — 2024-04
Sandbattle Studios
Java Game Developer and Project Manager
Worked on game mechanics, interfaces, and delivery coordination.
2023-06 — 2023-09
Luminous Gardens
Apprentice Electrician and Apprentice Case Manager
Gained field experience in electrical systems, troubleshooting, planning, and customer work.
Also in my project folder
More software from my public GitHub:
Wiretracks
A browser workspace for drawing electronic schematics and routing circuit boards.
PartCount
Inventory software for electronics labs, hardware teams, and component collections.
Domain Scout
A database-backed workspace for discovering, evaluating, and organizing domain names.
How I work
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.
My pictures
1 photo
♡ hello, internet✧ little photo albumOrange County, CA
One photo for now. A small album has to start somewhere.
My research folder
4 papersTechnical papers on Gray’s execution, correctness, and production behavior. Click a paper to open its publication record.
01Sustained Corrected-Latency Qualification of an Integrated Server Language Runtime
Measuring a server over time, including latency under load.
Publication record ↗Compiler-Hidden PostgreSQL Continuations for Direct-Style Server Programs
Database waits and direct-style server code.
Publication record ↗Cancellation-Safe Native Loop Lowering in the Gray Runtime
Preserving cancellation behavior during native execution.
Publication record ↗Typed SSA NativeIR for Semantics-Preserving JIT and Static AOT in Gray
A shared typed representation for JIT and ahead-of-time execution.
Publication record ↗From my notebook
Gray explained
What is Gray? A guide to the language, runtime, and research
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 notesHow to read a programming-language benchmark
A practical guide to workload scope, latency, throughput, correctness, and reproducibility when comparing language runtimes and server benchmarks.
Read article ↗Behind the websiteWhy my website has glitter and a taskbar
A few notes on my pink desktop website, the simpler phone layout, and the Gray pages underneath it.
Read article ↗Places to find me
My bookmark collection: profiles, projects, papers, and all the places my name lives.
Social & professional
Research & books
ResearchGateResearch profile
Google ScholarResearcher profile
OpenAlexScholarly author profileAmazonAuthor 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 recordIdentity & affiliations
Projects & writing
Lincoln 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 hello♡ Dress up your desktop
Clippy artwork: Clippy.js archive.
Icons: Real Vista via GW Assets.
Wallpaper: Unsplash. Texture: Transparent Textures.
Icons: Real Vista via GW Assets.
Wallpaper: Unsplash. Texture: Transparent Textures.