Naifeng Zhang
Miami, Fall 2024
I am a fifth-year Ph.D. candidate in Electrical and Computer Engineering at Carnegie Mellon University, advised by Professor Franz Franchetti. I am currently a returning intern at NVIDIA.
Previously, I received a bachelor’s degree in Computer Science with honors and a bachelor’s degree in Mathematics with honors from the University of Southern California, advised by Professor Viktor K. Prasanna.
My research focuses on mathematics-based code generation and reasoning for high-performance computational kernels. Specifically, I work on:
-
High-performance code generation targeting CPUs, GPUs, and specialized hardware;
-
Semantics lifting for code modernization and verification of AI-generated code.
news
upcoming
| Sep 14, 2026 Oak Ridge, TN | Visiting ORNL Collaborating with the Programming Systems group at Oak Ridge National Laboratory. |
|---|
| Aug 12, 2026 service | I served on the Program Committee for the AgenticAI4HPC workshop, held in conjunction with SC 2026. |
|---|---|
| Jul 06, 2026 talk | I co-organzied a minisymposium on Performance Portability and Scalability for Scientific Applications at SIAM AN26. |
| Jun 27, 2026 talk | I gave an invited talk at the Cryptolets Tutorial, held in conjunction with ISCA 2026, on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic. |
| Jun 23, 2026 service | I served on the Program Committee for AAAI 2027. |
| Jun 18, 2026 award | I won third place in the ACM Student Research Competition at PLDI 2026!  |
| Jun 11, 2026 media | I was featured in an interview by Carnegie Mellon University’s College of Engineering!  |
| May 11, 2026 career | I am returning to NVIDIA this summer as a remote intern with the CUDA Math Libraries team!  |
| Apr 29, 2026 service | I served on the Program Committee for the SAFE-AI workshop, held in conjunction with ISCA 2026. |
selected publications
Please refer to my cv for the most up-to-date list of publications.