Projects
Register-level firmware work, and the automation built around it.
Moving an agent’s security boundary out of the model: reasoning separated from action, least privilege, complete mediation, namespace isolation.
Automating the repetitive core of Android platform work — Gerrit change validation, build → flash → boot verification, new-chip porting.
Cross-machine debugging of production BMCs with gdbserver, live-attach, and core dump analysis. Presented at COSCUP 2025.
Rack-scale ARM and x86 server validation. Image and repository footprint cut from 663 MB to 2.4 MB — about 99%.
Profiling T-MAC and BitNet with perf and uftrace — IPC, cache and TLB misses, page faults — to find the real bottlenecks.