At Huawei Technologies Co., Ltd., I developed a C++ and LLVM pipeline to make C applications spatially memory-safe using memory-safe WebAssembly containers and a spatially safe C dialect.
I also worked on a C++ Linux kernel tool for dynamic file access control and on a patent-pending method for dynamic sandbox extension using SELinux.
At Cisco Systems, I developed the Cisco Technical Support App with Java, Spring Boot, and REST APIs, including a migration from cookie to OAuth authentication.
For my University of Waterloo MMath thesis, I analyzed library API usage with static and dynamic analysis and Java bytecode instrumentation, then developed a visualization tool to explore library fission for isolating vulnerabilities.

