Projects

Bit‑Packed Z₂ Linear‑Algebra Library (C / MATLAB‑CMEX)

High-performance MATLAB MEX library for GF(2) linear algebra, featuring fast matrix multiplication, null space computation, and rank calculation. Supports OpenMP for multi-threaded acceleration and automated cross-platform compilation.

Coherent Error Stabilizer Simulator (MATLAB / Shell / SLURM)

Matlab simulation on the coherent error phase transition of quantum error correcting codes. Utilizes mex_linear_algebra for high-performance GF(2) operations. Computations as seen in Coherent error induced phase transition (arXiv:2506.00650).

Continuous Time Monte Carlo for Random Plaquette Models (Julia)

Exact, rejection‑free CTMC engine (Gillespie/BKL) for random plaquette models. Features a Fenwick tree (BIT) for O(log N) updates and scalable Julia implementation for simulating ultraslow dynamics on large lattices.

Algo Problem Tester (C++)

Automated differential‑testing harness for competitive programming. Automatically deduces input types from function signatures to generate random test cases and compare user solutions against a reference oracle.

LLVM Redundant Phi Elimination (C++)

Educational out‑of‑tree LLVM pass implementing arithmetic constant folding and redundant ϕ‑node elimination. Demonstrates `llvm::PatternMatch`, SSA manipulation, and internal pass APIs.

Lock‑Free Thread Pool (C++20)

Educational thread pool implementation using C++20 `std::jthread`. Features a lock‑free queue (Michael‑Scott) and hazard pointers for safe memory reclamation, aimed at demystifying high‑performance concurrency.