Naifeng Zhang
Miami, Fall 2024
I am a final-year Ph.D. candidate in Electrical and Computer Engineering at Carnegie Mellon University, advised by Professor Franz Franchetti.
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.
I have interned twice at NVIDIA, working on generating high-performance CUDA SIMT and Tile code.
news
| Sep 18, 2026 talk | I gave an invited talk to the Computer Science and Mathematics Division at Oak Ridge National Laboratory on Semantics Lifting for Legacy Code Modernization and AI-Generated Code Verification. |
|---|---|
| Sep 17, 2026 service | I served as the Session Chair for the Performance Engineering for AI session at HPEC 2026. |
| Sep 16, 2026 talk | I co-led the SPIRAL 8.6.0 tutorial, Accelerating AI and Other Workloads on GPUs, CPUs, and QPUs, at HPEC 2026. |
| Sep 14, 2026 career | I am on a research visit 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. |
selected publications
Please refer to my cv for the most up-to-date list of publications.