Naifeng Zhang

self_2024.jpg

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

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:
Apr 01, 2025
talk
I gave a QCiT talk at Carnegie Mellon University on Optimization and Performance Analysis of Shor’s Algorithm in Qiskit and Beyond.
Apr 01, 2025
talk
I gave 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 21, 2025
talk
I gave a PLClub talk at the University of Pennsylvania on Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic.

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 International Symposium on Microarchitecture, 2025
    Accepted
  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
    PDF Code Slides
  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
    PDF Slides

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
    PDF

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