I am an ECE researcher focusing on making computer systems more efficient and accessible by bridging programming languages, compilers, and hardware.
I obtained my Master’s of Science in Computer Science from UBC working with Caroline Lemieux. My Master’s thesis “QuAC: Quick Attribute-Centric Type Inference for Python” (OOPSLA’24) implemented QuAC, a novel Python type inference tool that leverages attribute sets and information retrieval techniques to predict types.
Before that, I obtained my Bachelor of Engineering from the School of Computer Science, Wuhan University under the guidance of Qingan Li. My Bachelor’s thesis “Effective Stack Wear Leveling for NVM” (TCAD’23) proposed Loop2Recursion, a compiler-assisted stack wear leveling technique implemented as an LLVM pass for increasing the lifespan of NVM by converting wear-heavy loops into recursive functions. I have also conducted research in graph and trajectory data mining, advised by Yuanyuan Zhu.
Outside research, I enjoy blogging, contributing to open-source projects, and mentoring students.
Utilities: