Systems Software Engineer - Compilers · GPU · Firmware · Correctness
C · C++ · Rust
LLVM / AMDGPU · Vulkan · QEMU / x86_64 · RISC-V / OpenSBI · secp256k1
I work where small mistakes become real failures: compiler backends, validation layers, emulators, firmware, and cryptographic code. I reproduce the bug, reduce it, fix the boundary, and leave a regression test behind.
reproduce → reduce → understand → fix → test → upstream
| Project | Contribution | Status |
|---|---|---|
| LLVM / AMDGPU | Stopped TFE/LWE image loads from entering SILoadStoreOptimizer merge candidates; added MIR regressions. |
MERGED |
| Vulkan Validation Layers | Added a bounds guard to static descriptor validation, preventing an out-of-bounds access; added C++ regression coverage. | MERGED |
| OpenSBI / SBI ecall | Bounded sbi_ecall_get_extensions_str() to caller capacity; added an SBIUNIT redzone test. |
MERGED |
| bitcoin-core / secp256k1 | Added CHECKMEM coverage for schnorrsig_sign_custom, including a custom nonce callback. |
MERGED |
| OpenSBI / RPMI | Proposed bounded copying for fixed-size shared-memory queue names. | OPEN |
| QEMU / x86_64 | Independently validated long-mode handling of legacy segment override prefixes. | TESTED-BY |
| Code4rena / Swafe | Credited co-finder of M-04: replayable recovery requests could block later recovery; mitigation confirmed. | CO-FINDER |
| Project | Purpose |
|---|---|
ecc-audit-engine |
Reproducible secp256k1 differential testing, failure minimization, replay, and dynamic-trace research. |
ArkheionX |
Local-first smart-contract review infrastructure that turns repositories into deterministic review context. |
bitpeek |
Client-side binary workbench for inspecting, editing, comparing, and interpreting raw bytes. |
Compiler backends · GPU validation · virtualization · RISC-V firmware · cryptographic software · regression infrastructure
Open to full-time, contract, and scoped systems work in C, C++, and Rust.


