JVM internals/ Runtime tooling/ Full-stack delivery

Building software you can trust & ship.

I’m a software engineer. Most of my work sits close to the runtime — custom JVMs, bytecode instrumentation, and concurrent execution. The rest is full-stack: services, APIs, and interfaces. I like small teams, chasing causality through messy systems, and problems near the edge of what existing tools can explain.

View projects Ask about me
Soroush Aghajani
Based
Bay Area, CA
Status
Open to roles
Focus
Systems · Full-stack
Fig. 01 — NFA Generator

A program in a small proprietary language, translated live into its equivalent NFA.

Source program
input = read()
while (input == 1):
input = read()
if (input == 0):
return

Over the alphabet {0, 1}, this compiles to the regular language 1*0 — any run of ones ending in exactly one zero, the only path that reaches return.

01  /  About

What I’m
focused on

Two kinds of work: turning runtime complexity into structure, and building full-stack services and interfaces. The same bias for clarity and correctness in both.

02  /  Experience

Track record

JVM internals and runtime tooling. Full-stack platform work. PL research.

2025 – 2026
Remote
JVM
Software Engineer
Manycore
  • One of two engineers building a custom JVM and runtime tooling.
  • Bytecode-level instrumentation for invokedynamic, MethodHandles, lambdas, and hidden classes.
  • Java agents capturing dynamically generated classes with correctness guarantees.
2023
Boston, MA
PL
Research Intern
UMass Boston
  • OCaml parser and translator to NFAs with graph visualization for research demos.
  • Focused on recursion, algebraic data types, and formal models of computation.
2021 – 2022
Massachusetts
Full-stack
Software Engineer
Pliant.io
  • Built backend services and automation tooling for cloud HR/workforce management.
  • Node.js utilities for data transformation and internal Retool apps for instance/workflow ops.
  • Partnered with product/ops to improve reliability and operational efficiency.
2020
Massachusetts
IoT
Software Engineer Intern
Cool Green Power
  • Java Spring Boot REST APIs for COOLNOMIX compressor controllers.
  • Device control, scheduling, logging, and sensor data integrations.
  • Android prototype enabling two-way device communication with hardware teams.
03  /  Work

Selected work

Runtime and language tooling on one side; interactive sims and networked gameplay on the other.

Runtime Professional

Dynamic Runtime Instrumentation

Bytecode-level instrumentation and runtime analysis of dynamic Java execution, focused on invokedynamic, MethodHandles, lambdas, and runtime-generated classes, with emphasis on correctness and observability.

AI Professional

LLM-assisted Javadoc Automation

LLM-assisted tooling that generates and updates Java Javadocs as part of a CI pipeline, reducing documentation drift and manual effort.

Personal 01

Turing Machine Simulator

Interactive React-based simulator for designing and executing Turing machine languages with live tape visualization.

  • Dynamic state-transition editor and reusable configs.
  • Custom tape input plus step-by-step execution view.
School 02

NFA Generator

OCaml parser and translator that turns a simple language into a non-deterministic finite automaton.

  • Graph visualization of generated automata.
  • Recursive, variant-type heavy implementation for efficiency.
  • Extended into a TFPIE 2024 workshop publication on imperative calculi for regular languages.
School 03

Maxima Translator

Code generator that converts parsed input into Maxima code, executes it, and surfaces the output.

  • AST powered by OCaml variant types.
  • Automated execution loop with captured results.
School 04

Multiplayer Chess

JavaFX chess platform with networked multiplayer and MySQL-backed player and match data.

  • Game-state handling for checks, mates, and pinned pieces.
  • Unit-tested core logic and UI interactions.
School 05

Banking IoT Simulation

Flutter/Dart IoT project simulating banking transactions with stakeholder-driven requirements.

  • Coordinated team delivery, debugging, and QA.
  • Realistic transaction flows and validation.
04  /  Publications

Sharing the research

Follow-on work from the NFA Generator project into programming language theory.

TFPIE 2024 | Workshop | PL Research

RegularIMP: An Imperative Calculus to Describe Regular Languages

Research on programming language design for modeling regular languages using an imperative calculus, bridging automata theory and practical language semantics.

Co-authored with
Emma Kelminson
Tiago Cogumbreiro
Origin
Continuation of NFA Generator
05  /  AI Assistance

Ask about Soroush

An AI assistant answering questions about my background, work, and projects.

Soroush Assistant
Online now
Assistant
Ask about experience, projects, research, or what kind of work Soroush is looking for.
06  /  Hobbies

Where I recharge

Strategic thinking and pattern-spotting outside of work.

Chess

Find me on chess.com as soshiagh. Always up for a rapid game.