Skip to content
View annabellaproctor's full-sized avatar
5 followers · 3 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@Genstin @squarecert @Zayfia @grayworth

Block or report annabellaproctor

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
annabellaproctor/README.md

Annabella Proctor

Systems researcher, technologist, Co-Founder & CTO of Grayworth, Inc., and creator of Gray.

Website ORCID ISNI LinkedIn ResearchGate Academia.edu OSF SSRN

Current work

I lead the development of Gray, an integrated language and runtime for server software. The work spans compiler and VM design, JIT and AOT execution, native runtime systems, HTTP and PostgreSQL integration, observability, packaging, and deployment qualification.

My research focuses on compiler-runtime integration, corrected-latency performance, nonblocking database continuations, native code generation, cancellation safety, and reproducible systems benchmarking.

Compilers Language Runtimes AArch64 PostgreSQL HTTP Systems Performance

Selected publications

More

Grayworth profile · Research · Publications · Rutgers · Academia.edu · OSF · SSRN · Wellfound · Biography · Work · Sources

Pinned Loading

  1. wiretracks wiretracks Public

    Browser-based schematic capture and PCB routing workspace for electronics design.

    JavaScript 1

  2. partcount partcount Public

    Inventory management for electronics labs, hardware teams, and component collections.

    Python 1

  3. domain-scout domain-scout Public

    Database-backed domain discovery, evaluation, and portfolio workflow.

    Python 1