Abhinav (August) Srivastava

Working on something new

Previously Founding Engineer at Ambrawhich I also helped cofound and SWE 2 at Commure.

Experience#

Ambra — Founding Engineer
May 2025–November 2026

Built Ambra's production platform from its initial prototype. Led engineering across denials management, claim status, claims posting, analytics, and AI-assisted EMS documentation.
Built the denial workflow end to end: SFTP and file ingestion, data normalization, payer and funding classification, document retrieval, PDF redaction, appeal-packet generation, and mail, fax, and portal submission.
Built a TypeScript and React application for dense billing workflows involving thousands of payer and denial configurations, live background jobs, large claim queues, and high-resolution medical attachments.
Built the core backend in Go and PostgreSQL, with Python and Django services for agent workflows, deployed on GCP and Cloud Run.
Integrated X12 transactions, EMS record systems, clearinghouses, payer portals, SFTP sources, telephony systems, and browser automation with Playwright and direct network integrations.
Built ephemeral pull-request environments, tenant-aware visual testing, PHI-leak checks, automated migration coordination, and application/database revision gating.
Led the company through HIPAA and SOC 2 readiness while owning architecture, infrastructure, customer launches, production support, and a large share of implementation.
Managed and hired engineers, designed technical interviews, ran one-on-ones and code reviews, and worked directly with customers from discovery through production.

Commure — Software Engineer II
June 2024–May 2025

Built clinical-documentation integrations across about 20 EHRs and 30 practice configurations for the Athelas Scribe product.
Expanded the integration platform from generic EHR behavior to configurable, practice-specific workflows.
Reduced the execution time of an important RPA-based integration workflow from about 10 minutes to 20 seconds.
Built a greenfield React client for a hardware-integrated clinical workflow, developed with a major U.S. health system.
Helped migrate the scribing client from Flutter to React Native and package the full application as an embeddable SDK for partner healthcare applications.
Built integration infrastructure that let providers launch the complete scribing workflow from within an existing mobile application.
Worked on DOM-based Chrome-extension automation across legacy EHR interfaces.
Designed and prototyped a domain-specific language for remotely configurable EHR interactions, which reduced dependence on hard-coded extension releases and protected proprietary integration logic.

RISC-V Mentorship — Mentee
March 2024–May 2024

Worked with OCaml, Sail, TypeScript, and React to turn RISC-V specifications into structured, usable developer resources.
Built JSON-driven specification conversion and code-generation tooling.
Developed an interactive React reference for exploring the RISC-V instruction-set architecture.

Research#

Accepted / Published

Every Graph on at Most Ten Vertices Is Representable by Two 2-Uniform Words

- Settles the small cases of an open question on the graph class G2: all 12,293,434 isomorphism classes of graphs on at most ten vertices are representable by two 2-uniform words, each certified by a solver-free checker. The counting bound places every minimal forbidden induced subgraph between 11 and 35 vertices.

Healthcare Voice Agent Security

- Evaluating AI voice platforms deployed in healthcare settings, covering prompt injection, PHI extraction, and synthetic voice attacks with a novel FHIR-compliant testing framework.

Application of Nature-Inspired Swarm Optimization Algorithms in Artificial Neural Networks

- Reviews bacterial foraging, ant colony, and grey wolf optimization and their use in training neural networks. With Puja Chaudhury, 2021 International Conference on Artificial Intelligence and Smart Systems (ICAIS), Coimbatore.

Pending Reviews

Can Weight-Space Programming Lead to Better Outputs in Medical AI?

- Edits one matrix of Qwen2.5-1.5B-Instruct with a closed-form rank-one change, with no gradient, to fix a model that reads "denies fever" as "not mentioned". On 200 held-out notes, cell accuracy rose from 0.656 to 0.879, and the denied-as-not-mentioned rate fell from 0.782 to 0.262.

CORAL: A Permissioned Ledger Framework for Jointly Signed Negotiated Rates Between Providers and Payers

- Hospitals and insurers publish negotiated prices in separate files that agree on only about 10% of services. CORAL is a permissioned ledger on which both parties sign each negotiated rate, so each published line can be checked against the record and a differing price is traced to the file that departs.

Unpublished

EmberDB - FHIR-native time-series storage for critical care. A specialized database treating FHIR Observations as first-class citizens, benchmarked against InfluxDB, TimescaleDB, and QuestDB on MIMIC-III data.

Privacy-Preserving Healthcare Cost Prediction - Custom secure multiparty computation protocol enabling joint model training across hospitals, insurers, and public health agencies without exposing raw data.

zkDNA - Zero-knowledge proofs for negative STR DNA match verification, allowing proof of non-match in forensic contexts without revealing actual genetic data.

Formal Verification of FHIR Resources - Applying lightweight formal methods (Alloy) to verify structural integrity and safety invariants of HL7 FHIR data models.

Reading MUMPS at Scale - An open tree-sitter grammar for MUMPS, the language behind the VA's VistA EHR. Parses 98.6% of VistA's 33,951 routines into an analyzable syntax tree, validated against YottaDB, with call-graph and runtime-code-generation measurements.

ICD-10 Codes from Visit Dialogues - A framework that assigns one ICD-10-CM code to a doctor-patient dialogue with a System One model, with no task training and no labeled examples. On 996 held-out MedSynth dialogues it gives the exact code for 62.0% from the 2,032 benchmark codes and 57.3% from all 74,719 codes; a trained text classifier gives 34.3%. Paper (PDF)

Datasets

Human Technical Writing Pairs

- Dataset building: 19,139 pairs of a request and a list of facts with a human-written technical passage, for fine-tuning a model to write technical prose. All targets are human-written and published before November 2022, drawn from Stack Exchange, IETF RFCs, Project Gutenberg, OpenStax, the Python docs, and FAA handbooks.

Full research details →

Interested in collaborating? Email me at sabhinav at bu dot edu.

Open source#

In progress: oh-my-pi - adding folder-to-profile bindings to OMP, so starting the coding agent inside a project automatically selects the right isolated profile and model accounts. The work includes commands to bind, inspect, list, and remove folder mappings; linked-worktree support; explicit CLI and environment override precedence; and startup visibility for the active profile and Anthropic account.
Compilers & developer tools
Go 2026 - cmd/compile: lower float min/max branch idiom to MINSD/MAXSD/FCSEL.
Cython 2026 - fix a compiler crash on starred names in assignment targets during constant folding.
Ruff 2026 - restrict FURB131 (delete-full-slice) to lists; the dict rewrite was a runtime KeyError.
jq 2026 - reject raw NUL bytes in the parser instead of silently truncating tokens.
Zed 2026 - add live previews to the project symbols picker.
fish shell 2026 - treat a colon as a remote host only when it precedes any slash, so scp completion stops shelling out to ssh for a local path like ./dir/file-1:106.
Databases & data infrastructure
DuckDB 2026 - skip top-n window elimination when the limit exceeds the min/max n cap, so a valid QUALIFY query no longer errors.
redis-rs 2026 - report the underlying server error from the r2d2 is_valid health check rather than a fabricated broken pipe.
StackExchange.Redis 2026 - return 0 from SortedSetRemove instead of sending a member-less ZREM the server rejects.
Kombu 2026 - accept memoryview and bytearray message bodies in the YAML decoder.
Reth 2024 - accurately track on-disk blobstore metrics.
Operating systems & runtimes
Apache NuttX 2026 - balance connection and buffer references in the Bluetooth HCI ACL receive path (leak, double free).
Zephyr 2024 - implement POSIX putmsg().
Flatpak 2026 - fix column alignment next to a decimal column in the table printer.
uutils/coreutils 2023 - report a missing date -f input file instead of panicking.
uutils/findutils 2026 - stop locate, updatedb and xargs panicking on a non-UTF-8 argument.
Sail 2024 - extract register information in JSON output.
Scientific & healthcare data
htsjdk 2026 - name the preceding record, not the offending one twice, when alignments are added out of order.
tmc/x12 2026 - return an error instead of panicking when Marshal receives a nil ISA header.
tmc/x12 2026 - support segments larger than 64 KB with a configurable size limit.

Projects#

Engram showing per-layer predictions and a rank-one weight edit that changes Paris to Berlin

Engram Read and write a language model's weights.

A Hamlet community showing topics, categories, and its knowledge base

Hamlet Communities for humans and agents.

hypertext.one showing an HTML paste box with title, password, expiry and max-views options

Hypertext Publish and share HTML in one click.

harnext transferring coding-agent chat history between harnesses in a terminal

Harnext Move chats between coding agents.

Soquel A faster, keyboard-first Finder.

Earmarky audiobook library with sound controls

Earmarky Your Audible library, made native.

Ultraball terminal battle between Pikachu and Blastoise

Ultraball Multiplayer Pokémon battles over SSH.

Oat terminal vault listing, copying, and managing encrypted one-time passwords

Oat Encrypted TOTP codes in your terminal.

phoneviewcomposer showing a Gmail draft on a phone next to the compose window

PhoneView Composer Preview Gmail drafts on a phone.

Hospital Gym live emergency-department simulation board

Hospital Gym Benchmark AI in a simulated ER.

KarlTrain departure board, live train map, and ride tracker

KarlTrain Live Caltrain departures and tracking.

dbdiff showing PostgreSQL schema and row differences in a terminal

DBDiff Git-style diffs for PostgreSQL.

More projects

FHIR Connectors — A Python SDK for real-world FHIR vendor implementations.

domn8n — An AI-powered DOM mapper that generates standalone Playwright automation scripts.

NEMSIS Viewer — A browser-based viewer for NEMSIS 3.x EMS records.

X12 Viewer — A native macOS viewer for X12 EDI files.

ThoughtForest — A content curation system for YouTube, Substack and Twitter (more to come).

Couch 2 Court — A Couch-to-5K for basketball.

Libreprose — A distraction-free writing environment for long-form work.

Cioppino — A weekly AI-tell tracker.

Copy Doc Comments — A copy-comments button for Google Docs to grab all the comments for LLMs.

Walk Reminder — A small, lightweight menu-bar app that gets you to stand up more.

Vinyl — Generate a looping, spinning-vinyl video from any audio file, in your browser.

HAR to cURL — Cleans up your HAR files to make them friendlier for LLMs.

Archived

ASM Garden — A LeetCode-style playground for x86-64 assembly: small problems, in-browser assembler, instant feedback. A gentler on-ramp to low-level programming.

Strudel — Spin up and tear down ephemeral Ethereum testnets for teams, so a whole engineering org can share forks and state without stepping on each other.

Elcair — Point at an Ethereum contract ABI, get a typed TypeScript SDK - no hand-rolled wrappers, no drift between contract and client.

Profs — Search university faculty by research interest and recent publications - find the right advisor, reviewer, or collaborator without trawling department pages.

Community involvement#

Talk: Kernel Chaos: Lessons in Building an OS and Keeping it Safe - Boston Hackers, March 2024.
Boston Open Dev - open source meetups in Boston.
Hackathon judge:
- Multimodal Frontier Hackathon
- Build the Vibe TechWalk
- MediMate Hack for Impact
- AI Commerce Gallery - AI Valley, Walt Disney Family Museum
- Hack-Nation Global AI Hackathon
Open to judging and speaking - email me.

Outside work#

Sports, mostly Boston teams, and now some Bay Area ones.
Music. DJ Producing house music Playing bass
Science fiction, read and written. I built Libreprose before the AI era to manage long drafts. A rewrite is due.
Reading, more each year. Goodreads tracks part of it.