Towards High Performance, Portability, and Productivity: Lightweight Augmented Neural Networks for Performance Prediction. - Ajitesh Srivastava; Naifeng Zhang; Rajgopal Kannan; Viktor K. Prasanna (HiPC, 2020)

Compiler Abstractions and Runtime for Extreme-scale SAR and CFD Workloads. - Connor Imes; Alexei Colin; Naifeng Zhang; Ajitesh Srivastava; Viktor K. Prasanna; John Paul Walters (ESPM2@SC, 2020)

GenMAT: A General-Purpose Machine Learning-Driven Auto-Tuner for Heterogeneous Platforms. - Naifeng Zhang; Ajitesh Srivastava; Rajgopal Kannan; Viktor K. Prasanna (PEHC@SC, 2021)

Towards the shortest DRAT proof of the Pigeonhole Principle. - Isaac Grosof; Naifeng Zhang; Marijn J. H. Heule (CoRR, 2022)

Optimization and Performance Analysis of Shor's Algorithm in Qiskit. - Dewang Sun; Naifeng Zhang; Franz Franchetti (HPEC, 2023)

Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures. - Naifeng Zhang; Austin Ebel; Negar Neda; Patrick Brinich; Benedict Reynwar; Andrew G. Schmidt; Mike Franusich; Jeremy Johnson 001; Brandon Reagen; Franz Franchetti (HPEC, 2023)

TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation. - David Bruce Cousins; Yuriy Polyakov; Ahmad Al Badawi; Matthew French; Andrew G. Schmidt; Ajey P. Jacob; Benedict Reynwar; Kellie Canida; Akhilesh R. Jaiswal; Clynn Mathew; Homer Gamil; Negar Neda; et al. (IACR Cryptol. ePrint Arch., 2023)

RPU: The Ring Processing Unit. - Deepraj Soni; Negar Neda; Naifeng Zhang; Benedict Reynwar; Homer Gamil; Benjamin Heyman; Mohammed Thari Nabeel; Ahmad Al Badawi; Yuriy Polyakov; Kellie Canida; Massoud Pedram; Michail Maniatakos; et al. (IACR Cryptol. ePrint Arch., 2023)

Faster Game Solving via Hyperparameter Schedules. - Naifeng Zhang; Stephen McAleer; Tuomas Sandholm (CoRR, 2024)

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU. - Naifeng Zhang; Franz Franchetti (CGO, 2025)

An Improved Sliding Model Control with a Novel Reaching Law for PMSM Enhancing Low-Speed Stability. - Kaikai Guo; Naifeng Zhang; Zaixin Song; Yongtao Liang; Xiangyang Wu (IAS, 2025)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT. - Naifeng Zhang; Sanil Rao; Mike Franusich; Franz Franchetti (CoRR, 2025)