Yi Li
Research Engineer at Meta
Redmond, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolYi Li is a research engineer specializing in compiler development and optimization for efficient DNN execution on machine learning accelerators, with six years of experience spanning academia and industry. He holds advanced degrees from Princeton and has driven end-to-end compiler pipelines, scheduling and mapping optimizations, and formal verification work for coarse-grained hardware accelerators. Yi has interned and now works at Meta, where he built an MLIR-based pipeline translating PyTorch to a custom DSP and implemented passes like vectorization and loop tiling to auto-generate optimized vector code. His background combines hands-on circuit and mixed-signal work from earlier research with deep expertise in compiler passes and accelerator-aware scheduling, a mix that helps bridge hardware constraints and software-level optimization. Based in Redmond, he brings proven ability to turn deep-learning models into high-performance executable mappings for specialized accelerators.
6 years of coding experience
7 years of employment as a software developer
Foshan No.1 High School 佛山市第一中学Bachelor of Science - BS, Electrical Engineering and Computer Science, Bachelor of Science - BS, Electrical Engineering and Computer Science at Peking UniversityCSST Summer Research Program, Electrical Engineering, CSST Summer Research Program, Electrical Engineering at University of California, Los AngelesPhD Student, Electrical Engineering, PhD Student, Electrical Engineering at Princeton University
Github Skills (48)
modular10
gpu10
toolchain10
embedded10
cli10
llvm9
machine-learning9
verification9
bash9
abstraction9
neural-network9
php9
mobile9
deep-learning9
zsh9
Programming languages (6)
Github contributions (5)
LeeOHzzZ/3la_ILA_tensor_op
Jan 2021 - Dec 2022
Contributions:99 commits, 17 pushes, 3 branches in 1 year 11 months
PrincetonUniversity/flexnlp-ila
Dec 2019 - Oct 2022
Contributions:234 commits, 14 PRs, 32 pushes in 2 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.