Linux Kernel Security Research
发布时间：
Discovered potential defects and vulnerabilities in the Linux kernel BPF subsystem, designed and implemented fixes. Submitted 5 patches upstream; fixes merged into the latest Linux kernel mainline.
Portfolio
Rust Abstract Domain Libraries
发布时间：
Reproduced ISSTA’25 & TOPLAS’15 papers; migrated C++ numerical abstract domains to Rust with ~40% speedup via SIMD vectorization and zero-cost abstractions.
Computer Vision & Deep Neural Networks
发布时间：
From-scratch NumPy implementations of kNN, SVM, ResNet-18 achieving 92% accuracy on CIFAR-10. Advanced topics include Transformer captioning, DDPM, CLIP, and DINO self-supervised learning.
Embedded & DL: Wand Motion Recognition & Robot Dog Control
发布时间：
MPU6050 IMU data acquisition, 1-D CNN classifier with 97.3% accuracy, deployed on PC to drive robot dog motor instructions.
eBPF Formal Semantics in Rocq
发布时间：
Developing formal semantics for Linux kernel eBPF instruction set in Rocq (Coq) to enable subsequent security verification research. A CCF-A class programming language conference paper is under review.
Model Compression & Efficient Deployment
发布时间：
CNN pruning (80% params), FP32→INT8 quantization (3.1x speedup), DARTS NAS (0.5M params), LLaMA-2-7B 4-bit GPTQ local deployment at 15 tokens/s.