Projects
Featured
Lab research and the largest system I have built, in that order.
Agentic Distributed System Overload Mitigation
Closed-loop, policy-driven and LLM-augmented overload mitigation for ZooKeeper clusters.
- Closed-loop control plane: engineered a closed-loop control plane for ZooKeeper clusters to mitigate overload failure, integrating Prometheus telemetry and HAProxy /
tcfor traffic shaping. - Mitigation / RCA action library: implemented a library of atomic mitigation actions, including network throttling (
tcconfig), dynamic load balancing (HAProxy Runtime API), JVM heap tuning and disk I/O control (fsync), packaged as auditable scripts that any controller can invoke safely. - Load injection & evaluator: built a custom load generator (zkbench) supporting multi-stage traffic (warmup → spike → cooldown) to stress-test resilience, and a closed-loop evaluator that correlates injection rates, SLO violations and goodput across control strategies.
- Agentic controller: prototyped a Claude Code styled controller (GPT-4.1 with Model Context Protocol tools) that consumes metrics and log summaries to do root cause analysis and select mitigation actions, enabling comparison between static policies and agentic reasoning on complex failure patterns; tuned context-window usage with a log processor to cut the number of cycles.
Search Engine "Crawl Me Maybe" in C++
A complete web search engine built from scratch in C++ by a team of four, crawling 210M pages and serving queries from a 1 TB inverted index on 20 GCP servers.
- Product demo: built a complete search engine in a team of 4; crawled 210M websites within 2 days, indexed into a 1 TB inverted index, average query time 200 ms with p99 tail latency of 4 s, distributed across 20 GCP servers.
- Inverted index read-write storage system: hierarchical storage design using
mmapfor disk I/O, UTF-8 + VByte encoding and a string pool for variable-length strings; implemented a recursive skip-list tree and position-list cursor for fast posting-list walks; high-concurrency multithreading and a zero-copy data path that made index writing compute-bound. - Constraint solver design: contributed a recursive constraint-solver tree built from the query compiler’s AST, with submatching and merging; supports AND / OR / Phrase / NOT logic.
- Ranker design: contributed a benchmark of ~100 hot query terms against Google/Bing and tuned the dynamic ranker weights, including BM25 tf-idf, domain-name matching and last-path matching.
Origami-Inspired Soft Robotic Arm
Best Poster Award, IEEE ICRA 2025 Workshop
A pneumatic Kresling-origami arm for confined-space manipulation, from firmware to PCB.
- Kresling origami + pneumatic actuation for confined-space manipulation.
- Led STM32 & Orange Pi firmware (dynamics/PID, CAN/I²C); C++/Rust core algorithms; contributed to PCB design.
- Demos/extended abstracts: ICRA 2025 Workshop (Best Poster), RoboSoft 2025 Workshop, ICON 2025.
Course Projects
Systems-heavy term projects and course builds at UMich.
Cuda Proxy Player
A hybrid CUDA runtime that mixes CUDA Graphs with persistent kernels to cut launch overhead for MoE.
- Designed a hybrid CUDA runtime combining CUDA Graphs for stable compute paths and persistent kernels for irregular on-device tasks.
- Reduced kernel launch overhead and tail latency without brittle fusion, enabling dynamic routing and static graph reuse.
- Implemented bucket-based static pooling, piecewise graph capture, and stream-level synchronization for efficient MoE execution.
Cloud VLM for AV Control
A local-cloud VLM pipeline for autonomous driving that adapts offloading to network conditions.
- Designed a hybrid local–cloud pipeline combining OpenEMMA and large VLMs for efficient & reliable decision-making.
- Selective offloading of static-scene context (e.g., construction, obstacles) to cloud models; dynamic agents handled locally.
- Network-aware control adapts send rate and compression based on latency to balance accuracy and responsiveness.
Simulated Basic Operating System
Threads, a pager with copy-on-write, and an inode-based network file system built from scratch.
- Threads: user-level thread library (
swapcontext/makecontext), Mesa monitors; interrupts/core-suspend; non-preemptive FIFO run queues. Supports multiprocessor systems. - Pager/MMU: SWAP & FILE-backed pages; page tables with present/reference/dirty bits; COW lazy copying + Clock eviction; supports
fork/mmapfor a non-empty arena. - Network File System: inode-based, Unix-style NFS; concurrency with Boost
shared/uniquelocks and hand-over-hand locking.
Networks
Mininet measurements, a DASH video proxy, a sliding-window transport and an L3 router.
- Mininet-style iperf: custom Mininet topologies (Python) with iperf-style RTT/throughput measurement (C++ sockets); reproduced buffer-bloat with long switch queues and asymmetric links, then fixed it with OVS SDN control and two prioritized queues (this part belongs to the CSE 589 project).
- Video server emulation: reverse proxy via
select+pollwith round-robin load balancing; DASH adaptive streaming. - Transport layer emulation: TCP sliding window over a UDP-style protocol (GBN/SR, cumulative/selective ACKs).
- L3 router simulation with ARP, ICMP and basic intra-domain routing.
Security
Forensics, cryptanalysis, web exploitation, binary attacks and reverse engineering, hands on.
- Digital forensics: disk image analysis, file carving, metadata extraction with steganographic tools.
- Cryptanalysis & cracking: length-extension, padding-oracle; John the Ripper (encrypted PDF/ODT), Hydra (SSH).
- Web exploitation: auth bypass via XSS/SQLi/CSRF; wrote a small “Samy-is-My-Hero” worm.
- Binary attacks: x86 assembly analysis and exploit development with
gdb; stack overflows, ROP chains, and bypassing ASLR and stack canaries. - Reverse engineering: recovered C logic from executables with Ghidra and static analysis; combined with pwning to hack the UMich BBB building’s stair light.
Robotics & Competitions
Hands-on robotics: a championship sentry robot and an LLM-driven manipulator.
Auto Sentry Robot Control
National Champion, RoboMaster 2023 (DJI)
Control stack for a championship-winning sentry robot, from gimbal PID to lead-angle shooting.
- STM32-F407 platform; dual-gimbal stabilization with a tuned PID controller; high-response four-steering-wheel chassis.
- CAN/UART pipelines for CV and LiDAR; IMU-based absolute-pose control.
- High-precision shooting with flywheel speed and lead-angle compensation.
LLM-Guided Manipulation with Flexiv 7-DoF Arm
Natural-language and RGBD input turned into executable manipulation plans on a 7-DoF arm.
- Built an LLM-driven pipeline that turns natural-language instructions and RGBD visual inputs into executable manipulation plans on a Flexiv 7-DoF manipulator.
- Implemented FK/IK and motion planning with Flexiv RDK; integrated ZED depth perception for scene understanding and grasp placement.
- Designed a constraints-aware controller (joint/velocity/workspace limits) with smooth trajectories.
- Combined simulation data with real runs to improve task reliability.
Nothing here yet.
