Projects

Starts with WASM isolation for untrusted code, then compiles streamed model plans into DAGs that can run in parallel.

Links page elements to DOM, component, and source locations while keeping final acceptance with the human reviewer.

Governs AI capabilities, versions, caches, streaming, and observability, then compiles multi-recipe plans into resource-constrained DAGs.

Compiles, executes, limits, and automatically judges multilingual submissions for university ACM/ICPC training, contests, and coursework.

Compiles a TypeScript-like language to vanilla Minecraft datapacks and provides editor, validation, and testing tools around it.

A TypeScript interaction library for fold geometry, hit testing, event forwarding, and synchronising dynamic form state.

Defines backend resources with decorators and a code-first API, then generates frontend forms from the same type information.

Code-first infrastructure connecting GPU and SLURM scheduling, training observability, experiment lineage, and research decisions.

Compares six latent-space watermarking methods under a shared attack and evaluation protocol, and proposes a low-cost removal attack.

Connects NPC memory, world state, structured scripts, and a shared story queue into one persistent interactive world.

Uses queues, sandboxes, and pluggable run strategies for both multi-turn bot matches and ordinary online-judge submissions.

A spatial-photo experience built around geographic objects, AR scenes, and cloud anchors, connected to a real-time backend.

A Unity multi-agent simulation project that won a national first prize.