publications

2026

1. IPDPS

   LibraryX: A Framework for Cross-Library-Call Optimization

   Sanil Rao, Anant Prakash, Naifeng Zhang, and 2 more authors

   The IEEE International Parallel & Distributed Processing Symposium, 2026

   To appear
2. AAAI

   Faster Game Solving via Hyperparameter Schedules

   Naifeng Zhang, Stephen McAleer, and Tuomas Sandholm

   The AAAI Conference on Artificial Intelligence, 2026

   PDF Poster Slides

2025

1. SC-W

   A RISC-V Vector Extension for Multi-word Arithmetic

   Yunhao Lan, Larry Tang, Naifeng Zhang, and 3 more authors

   The International Workshop on RISC-V for HPC, in conjunction with the International Conference for High Performance Computing, Networking, Storage, and Analysis, 2025

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

   Invited talk at CMU

   PDF Code Poster Slides
3. HPEC

   Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code

   Quentin Oschatz, Naifeng Zhang, Mike Franusich, and 1 more author

   IEEE High Performance Extreme Computing Conference, 2025

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

   Invited talks at CMU, Penn, NYU, USC, and MICRO-W ’25

   PDF Code Slides
5. POPL-W

   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

   Invited talk at ORNL

   PDF Slides

2024

1. PACT-SRC

   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

   PDF

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

   PDF
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

   PDF 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

   PDF
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

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

   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. SAT-W

   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 Code

2021

1. SC-W

   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. SC-W

   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 Code