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

   PDF Code Slides
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

   PDF

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

   PDF
2. HPEC

   Towards a RISC-V Instruction Set Extension for Multi-word Arithmetic

   Youngjin Eum, Naifeng Zhang, Larry Tang, and 1 more author

   IEEE High Performance Extreme Computing Conference, 2024

   Extended abstract with poster
3. arXiv

   Faster Game Solving via Hyperparameter Schedules

   Naifeng Zhang, Stephen McAleer, and Tuomas Sandholm

   arXiv, 2024

   Preprint

2023

1. HPEC

   Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures

   Naifeng Zhang, Austin Ebel, Negar Neda, and 7 more authors

   IEEE High Performance Extreme Computing Conference, 2023
2. HPEC

   Optimization and Performance Analysis of Shor’s Algorithm in Qiskit

   Dewang Sun, Naifeng Zhang, and Franz Franchetti

   IEEE High Performance Extreme Computing Conference, 2023

   Code
3. ISPASS

   RPU: The Ring Processing Unit

   Deepraj Soni, Negar Neda, Naifeng Zhang, and 8 more authors

   IEEE International Symposium on Performance Analysis of Systems and Software, 2023

   PDF
4. HPEC

   Twiddle Factor Generation for a Vectorized Number Theoretic Transform

   Patrick Brinich, Naifeng Zhang, Austin Ebel, and 2 more authors

   IEEE High Performance Extreme Computing Conference, 2023

   Extended abstract with poster

   Outstanding Short Paper Award
5. HPEC

   EVPFFTX: A First Look at FFTX Applications in Material Science

   Het Mankad, Andrea Rovinelli, Miroslav Zecevic, and 6 more authors

   IEEE High Performance Extreme Computing Conference, 2023

   Extended abstract with poster
6. GOMACTech

   TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation

   David Bruce Cousins, Yuriy Polyakov, Ahmad Al Badawi, and 8 more authors

   Government Microcircuit Applications and Critical Technology Conference, 2023

   Preprint with presentation

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

2022

1. HPEC

   Towards Full-Stack Acceleration for Fully Homomorphic Encryption

   Naifeng Zhang, Homer Gamil, Patrick Brinich, and 14 more authors

   IEEE High Performance Extreme Computing Conference, 2022

   Extended abstract with presentation

   PDF
2. PoS | SAT

   Towards the shortest DRAT proof of the Pigeonhole Principle

   Isaac Grosof, Naifeng Zhang, and Marijn JH Heule

   The Pragmatics of SAT Workshop, in conjunction with the International Conference on Theory and Applications of Satisfiability Testing, 2022

   Preprint with presentation

   PDF

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

   PDF Code

2020

1. HiPC

   Towards High Performance, Portability, and Productivity: Lightweight Augmented Neural Networks for Performance Prediction

   Ajitesh Srivastava, Naifeng Zhang, Rajgopal Kannan, and 1 more author

   IEEE 27th International Conference on High Performance Computing, Data, and Analytics, 2020

   PDF Code Talk
2. ESPM2 | SC

   Compiler Abstractions and Runtime for Extreme-scale SAR and CFD Workloads

   Connor Imes, Alexei Colin, Naifeng Zhang, and 3 more authors

   The Workshop on Extreme Scale Programming Models and Middleware, in conjunction with the International Conference for High Performance Computing, Networking, Storage, and Analysis, 2020

   PDF