My LLVM contribution generalized an InstCombine optimization to arbitrary constants, with correctness conditions checked using KnownBits analysis and Alive2. The patch was accepted and merged upstream after reviews with LLVM maintainers.
I also built QuantumGas, a Python quantum circuit compiler that reduced gate count by up to 38% and circuit depth by up to 28%. My other projects include a compiler pipeline, a Redis-like in-memory datastore, and an emotion-classification API.

