Naifeng Zhang

self_2024.jpg

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 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

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 23, 2025
talk
On October 18, I will give an invited talk at ZKARCH 2025 on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic.
Sep 17, 2025
talk
I co-led the SPIRAL 8.5.1 tutorial at HPEC 2025.
Aug 05, 2025
service
I served on the Program Committee for AAAI 2026.
Jul 16, 2025
paper
Our paper on Towards Closing the Performance Gap for Cryptographic Kernels Between CPUs and Specialized Hardware was accepted at MICRO 2025.
May 27, 2025
service
I served on the Program Committee for the AI4Dev workshop, held in conjunction with ICPP 2025.
May 09, 2025
talk
I gave an ECE Seminar talk at the University of Southern California on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic.
May 02, 2025
talk
I gave an ECE Seminar talk at New York University on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic.
Apr 30, 2025
talk
I attended ORNL AI4Science Workshop at Oak Ridge National Laboratory and presented Towards Semantics Lifting for Scientific Computing: A Case Study on FFT.
Apr 28, 2025
career
I will join the Programming Systems and Applications Research Group at NVIDIA Research this summer as an intern. See you in Santa Clara! :briefcase:

selected publications

Please refer to my cv for the most up-to-date list of publications.

2025

  1. MICRO
    Towards Closing the Performance Gap for Cryptographic Kernels Between CPUs and Specialized Hardware
    Naifeng Zhang, Sophia Fu, and Franz Franchetti
    The IEEE/ACM International Symposium on Microarchitecture, 2025
  2. CGO
    Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
    Naifeng Zhang, and Franz Franchetti
    The International Symposium on Code Generation and Optimization, 2025
  3. TPSA | POPL
    Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
    Naifeng Zhang, Sanil Rao, Mike Franusich, and 1 more author
    The Theory and Practice of Static Analysis Workshop, in conjunction with the ACM SIGPLAN Symposium on Principles of Programming Languages, 2025
    Extended abstract with presentation

2024

  1. SRC | PACT
    Accelerating High-Precision Number Theoretic Transforms using Intel AVX-512
    Sophia Fu, Naifeng Zhang, and Franz Franchetti
    The International Conference on Parallel Architectures and Compilation Techniques, 2024
    Extended abstract with poster and presentation
    First Place, ACM Student Research Competition
    Best Poster Runner-up at PRISM Annual Review, Systems & Software track

2023

  1. SRC | CGO
    Generating Number Theoretic Transforms for Multi-Word Integer Data Types
    Naifeng Zhang, and Franz Franchetti
    The International Symposium on Code Generation and Optimization, 2023
    Extended abstract with poster and presentation
    Second Place, ACM Student Research Competition