Description: For an existing cross-shard consistency implementation (ZooNet, USENIX ATC '16), I contributed to resolving several issues, including incorrect zk IDs, concurrent request conflicts, and outdated URLs.
Description: Explored an aerokernel implementation (Nautilus, HPDC '15) as part of a Virtual Machine course research project. Implemented a subset of standard OpenMP directives on the Nautilus kernel, including omp_task, thread/team abstractions, barriers, locks, and dependencies.
Description: Explored loadable kernel modules (LKMs) and low-level system programming as part of a computer security course research project, gaining hands-on experience with OS internals, system calls, and safe experimentation practices. I contributed to coding, while my teammate was responsible for the presentation and drafting the paper description.