My research focuses on intelligent computer systems. In particular, I am interested in uncovering the fundamental principles that guide the design of systems in the age of artificial intelligence (AI). My work has helped establish several ideas now widely used in AI systems, including hardware-aligned tile abstractions for AI compilers and relaxed monotonicity for vector stores. I am also exploring how to build a general-purpose reasoning engine for complex tasks in mathematics, systems engineering, and other domains by combining agentic and neuro-symbolic approaches.
I also contribute to the broader research community, including through service on the program committees of ASPLOS (2022); EuroSys (2023, 2025, 2026); OSDI (2026); SOSP (2026).
We are recruiting interns the whole year, details here.
@article{starpolyamath26,title={{STAR-P\'{o}lyaMath}: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision},author={Wu, Jiaao and Zhang, Xian and Liu, Hanzhang and Zhang, Sophia and Yang, Fan and Dong, Yinpeng},year={2026},journal={ArXiv},}
@inproceedings{tilelang26,title={TileLang: Bridge Programmability and Performance in Modern Neural Kernels},author={Wang, Lei and Cheng, Yu and Shi, Yining and Tang, Zhengju and Mo, Zhiwen and Xie, Wenhao and Ma, Lingxiao and Xia, Yuqing and Xue, Jilong and Yang, Fan and Yang, Zhi},year={2026},booktitle={International Conference on Learning Representations, {ICLR}},}
@inproceedings{trainverify25,title={TrainVerify: Equivalence-Based Verification for Distributed LLM Training},author={Lu, Yunchi and Miao, Youshan and Tan, Cheng and Huang, Peng and Zhu, Yi and Zhang, Xian and Yang, Fan},year={2025},booktitle={{SOSP}},}
@inproceedings{waferllm25,title={WaferLLM: A Wafer-Scale LLM Inference System},author={He, Congjie and Huang, Yeqi and Mu, Pei and Miao, Ziming and Xue, Jilong and Ma, Lingxiao and Yang, Fan and Mai, Luo},year={2025},booktitle={19th {USENIX} Symposium on Operating Systems Design and Implementation, {OSDI}},}
