Papers and writeups

Kronos: Instantiation-Time Capability Gating for Multi-Tenant WebAssembly
2026. With Ajax Li. Technical report, 6 pp. Unpublished.
A multi-tenant WebAssembly runtime that checks each module's imports against its tenant's file and network capabilities before instantiation, with fuel and wall-clock budgets on every call. The report audits every instantiation path, finding the check enforced on the server path and skipped or weakened on two library paths, and measures about 0.15 MiB of memory per added isolate. It supersedes an April 2026 draft.
Project page | PDF

A Single-Neurosurgeon Experience with the ZimVie LDR-C ROI Implant: A Study of 236 Patients with Predictive Outcome Modeling
2024. Co-author. 236-patient cohort.
Outcomes for 236 consecutive patients after anterior cervical discectomy and fusion with one implant, with binary logistic regression to identify which factors predicted a fair or poor result. Co-authored while a research associate at New York Brain & Spine Surgery.
PDF

Gradient Descent Analysis
2023. With Prof. Arielle Carr, Lehigh.
A short technical writeup on gradient-descent dynamics for a class of optimisation problems we worked through with Prof. Carr. Develops the convergence-rate analysis and checks it against numerical experiments.
PDF

A Highlighting Algorithm for Document Search
2024. Capstone writeup, Lehigh CSE.
The sentence-level highlight extractor at the heart of my Lehigh capstone search engine. Given a query and a matched sentence, surface the minimal sub-span that explains the match. Deceptively non-trivial when the query is multi-word, partially stop-worded, or syntactically interleaved with the matched sentence.
Project page | PDF