Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
发布时间：
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
发布时间：
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
发布时间：
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
发布时间：
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
发布时间：
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
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.
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.