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

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! :tada:
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! :tada:
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

  1. 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
  2. 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. 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. 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

2021

  1. PEHC | SC
    GenMAT: A General-Purpose Machine Learning-Driven Auto-Tuner for Heterogeneous Platforms
    Naifeng Zhang, Ajitesh Srivastava, Rajgopal Kannan, and 1 more author
    The Workshop on Programming Environments for Heterogeneous Computing, in conjunction with the International Conference for High Performance Computing, Networking, Storage, and Analysis, 2021