Naifeng Zhang

Miami, Fall 2024
I am a fourth-year Ph.D. candidate in Electrical and Computer Engineering at Carnegie Mellon University, advised by Professor Franz Franchetti.
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 interests lie in the areas of high-performance code generation, programming languages, compilers, and algorithms.
My undergraduate research is featured here.
Currently, I am contributing to SPIRAL, NTTX, and Semantics Lifting.
news
May 02, 2025 | On May 2, I will give an ECE Seminar talk at New York University on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic. |
---|---|
Apr 28, 2025 | On May 9, I will give an ECE Seminar talk at the University of Southern California on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic. |
Apr 28, 2025 | On April 30, I will attend ORNL AI4Science Workshop at Oak Ridge National Laboratory and present Towards Semantics Lifting for Scientific Computing: A Case Study on FFT. |
Apr 28, 2025 | I will join the Programming Systems and Applications Research Group at NVIDIA Research this summer as an intern. See you in Santa Clara! ![]() |
Apr 01, 2025 | On April 1, I will give a QCiT talk at Carnegie Mellon University on Optimization and Performance Analysis of Shor’s Algorithm in Qiskit and Beyond. |
Mar 21, 2025 | On April 1, I will give a guest lecture in Computational Problem Solving for Engineers at Carnegie Mellon University on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic. |
Feb 11, 2025 | On February 14, I will give a CALCM talk at Carnegie Mellon University on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic. |
Feb 04, 2025 | On February 21, I will give a PLClub talk at the University of Pennsylvania on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic. |
Dec 25, 2024 | Our paper on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU was accepted at CGO 2025. |
Nov 26, 2024 | Our extended abstract on Towards Semantics Lifting for Scientific Computing: A Case Study on FFT was accepted at TPSA 2025, held in conjunction with POPL 2025. |
selected publications
Please refer to my cv for the most up-to-date list of publications.
2025
2024
- PACTAccelerating High-Precision Number Theoretic Transforms using Intel AVX-512The International Conference on Parallel Architectures and Compilation Techniques, 2024Extended abstract with poster and presentationFirst Place, ACM Student Research Competition
Best Poster Runner-up at PRISM Annual Review, Systems & Software track