At Oracle, I build LLVM-based SAST tooling, including an AI-based Codex plugin for build integration and code analysis, with translation from Python bytecode and Go SSA to LLVM IR.
I've also built GCP migration and ingestion systems at Pendo, Java APM instrumentation at Oracle and Aternity/Riverbed, and compiler, binary translation, and memory-checking technologies at Oracle and Sun Microsystems.

