Writing

Papers & writeups.

A short list. The systems work and the clinical work usually share an author with someone smarter than me; the academic work occasionally does too.

Khronos: A Type II Exovisor Architecture with WebAssembly

A multi-tenant WebAssembly runtime that combines language-level sandboxing with exokernel-style capability gating and a custom wasi:thread-spawn dispatcher. ~5,000 lines of Rust; ~0.08 MiB per isolate (3× denser than Wasmtime, 18× denser than Docker); up to 6.7× speedup on dense matrix multiply while preserving per-tenant trap containment.

Project page PDF ↗ GitHub ↗

Gradient Descent Analysis

A short technical writeup on gradient-descent dynamics for a class of optimisation problems we worked through with Prof. Carr. The paper develops the convergence-rate analysis carefully and checks it against numerical experiments.

PDF ↗

A Highlighting Algorithm for Document Search

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. This is deceptively non-trivial when the query is multi-word, partially stop-worded, or syntactically interleaved with the matched sentence.

Project page PDF ↗