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 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 undergraduate research is featured here.
My research interests lie in the areas of code generation, compilers, and programming languages. Currently, I am developing SPIRAL for
⬇️ High-performance code generation targeting CPUs, GPUs, and ASICs;
⬆️ Semantics lifting for performance portability and safeguarding AI-generated code.
news
upcoming
| Mar 23, 2026 Pittsburgh | SPIRAL Tutorial at ASPLOS 2026 Co-organizing a tutorial on SPIRAL: Pre-Silicon and Early-Prototype Performance Estimation Using Highly Optimized Code. |
|---|
| Jan 27, 2026 talk | I visited the University of California, Los Angeles (talk at the VAST Lab, hosted by Professor Jason Cong), the University of Southern California (hosted by Professor Viktor K. Prasanna), and the California Institute of Technology (hosted by Professor Adam Wierman). |
|---|---|
| Dec 22, 2025 paper | Our paper on LibraryX: A Framework for Cross-Library-Call Optimization was accepted at IPDPS 2026. |
| Nov 22, 2025 talk | Our tutorial proposal on SPIRAL: Pre-Silicon and Early-Prototype Performance Estimation Using Highly Optimized Code was accepted at ASPLOS 2026. |
| Nov 08, 2025 paper | Our paper on Faster Game Solving via Hyperparameter Schedules was accepted at AAAI 2026. This work started as my Computational Game Solving course project and has since been taught in the course in the following years. |
| Oct 18, 2025 talk | I gave an invited talk at ZKARCH 2025 on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic. |
| Oct 02, 2025 talk | I gave a CALCM talk at Carnegie Mellon University on Towards Closing the Performance Gap for Cryptographic Kernels Between CPUs and Specialized Hardware. |
| Sep 17, 2025 talk | I co-led the SPIRAL 8.5.1 tutorial at HPEC 2025. |
| Sep 08, 2025 paper | Our paper on A RISC-V Vector Extension for Multi-word Arithmetic was accepted at RISCV-HPC 2025, held in conjunction with SC 2025. |
selected publications
Please refer to my cv for the most up-to-date list of publications.
2025
2024
- PACT-SRCAccelerating 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