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 code generation, compilers, and programming languages for high-performance computing. Currently, 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
| Jun 27, 2026 Raleigh, NC | Presenting our work "Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic." |
|---|---|
| Jul 06, 2026 Cleveland, OH | Minisymposium at SIAM AN26 Co-organizing the minisymposium "Performance Portability and Scalability for Scientific Applications." |
| 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!  |
| 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. |
| Apr 24, 2026 paper | Our extended abstract on Semantics Lifting for Scientific Kernels was accepted at PLDI 2026 for the ACM Student Research Competition. |
| Apr 20, 2026 talk | I attended Penn FoQuS 2026 at the University of Pennsylvania and presented Towards Semantics Lifting for Quantum Circuits. |
| Mar 23, 2026 talk | I co-organzied a tutorial on SPIRAL: A Code Generation Approach to Hardware-Software Co-Design at ASPLOS 2026. |
| Feb 26, 2026 talk | I gave a GSPS talk at Carnegie Mellon University on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic. |
selected publications
Please refer to my cv for the most up-to-date list of publications.