Xida Ren
AI Tooling Lead at MatX
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolXida Ren is an AI tooling and ML performance leader with 11 years of experience building compiler infrastructure, quantization and numerics kernels, and high-performance dataflow simulators for LLM acceleration. Based in San Francisco, she currently leads AI tooling at MatX, using Claude, Cursor, and Google Cloud to streamline architecture propagation, verification, and documentation for senior architects and hardware owners. Her background spans LLVM/MLIR compiler work at AMD, academic research in formal verification of quantized models, and practical ML systems that detect side-channel attacks and optimize hardware/software codesign. Xida is as comfortable writing low-level transformer kernel optimizations as she is automating organizational workflows—she intentionally removes drudgery from experts’ lives by teaching LLMs useful, repeatable engineering tasks. Her PhD research and industry work reveal a recurring theme: turning rigorous verification and profiling techniques into production-scale performance wins.
11 years of coding experience
4 years of employment as a software developer
Bachelor of Science (B.S.), Mathematics and Computer Science, Bachelor of Science (B.S.), Mathematics and Computer Science at William & MaryDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Virginia
Stackoverflow
818reputation
47kreached
6answers
11questions
Github Skills (200)
robotics10
relational10
ecosystem10
onnx10
keyboard-layout10
alasql10
llm10
notebook10
high-resolution10
json-data10
python10
image-restoration10
editor10
denoising10
compiler10
Programming languages (19)
Github contributions (5)
dehrenman/dehrenman.github.io
Jun 2018 - Jun 2021
Contributions:49 commits in 3 years
renxida/labtunnel
Mar 2018 - Jul 2022
Manage ssh tunnels with systemd. Most useful when you neet to maintain an always-up connection to a lab/work computer.
Contributions:11 commits, 3 PRs, 8 pushes in 4 years 4 months
tunnelingport-forwardingsshtunnelsopenssh
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.