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
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. |
Nov 08, 2024 | Sophia Fu, an undergraduate student mentored by Professor Franz Franchetti and me, won the Best Poster Runner-up in the PRISM Annual Review, Systems & Software track! Congrats, Sophia! ![]() |
Oct 16, 2024 | Sophia Fu, an undergraduate student mentored by Professor Franz Franchetti and me, won first place in the ACM Student Research Competition at PACT 2024! Congrats, Sophia! ![]() |
Sep 25, 2024 | I co-led the SPIRAL 8.5 tutorial at HPEC 2024. |
Sep 03, 2024 | Our extended abstract on Accelerating High-Precision Number Theoretic Transforms using Intel AVX-512 was accepted at PACT 2024 for the ACM Student Research Competition. |
Aug 28, 2024 | Our extended abstract on Towards a RISC-V Instruction Set Extension for Multi-word Arithmetic was accepted at HPEC 2024. |
selected publications
Please refer to my cv for the most up-to-date list of publications.
2025
- TPSA | POPLTowards Semantics Lifting for Scientific Computing: A Case Study on FFTThe Theory and Practice of Static Analysis Workshop, in conjunction with the ACM SIGPLAN Symposium on Principles of Programming Languages, 2025Extended abstract with presentation
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