187 citations · 350 across the 15 of their papers we have counts for
15 papers
Towards Closing the Performance Gap for Cryptographic Kernels Between CPUs and Specialized Hardware
Naifeng Zhang, Sophia Fu, Franz Franchetti
Specialized hardware like application-specific integrated circuits (ASICs) remains the primary accelerator type for cryptographic kernels based on large integer arithmetic. Prior w…
Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions
Keita Teranishi, Harshitha Menon, William F. Godoy +25
We discuss the challenges and propose research directions for using AI to revolutionize the development of high-performance computing (HPC) software. AI technologies, in particular…
Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
Naifeng Zhang, Sanil Rao, Mike Franusich +1
The rise of automated code generation tools, such as large language models (LLMs), has introduced new challenges in ensuring the correctness and efficiency of scientific software,…
Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
Naifeng Zhang, Franz Franchetti
Fully homomorphic encryption (FHE) and zero-knowledge proofs (ZKPs) are emerging as solutions for data security in distributed environments. However, the widespread adoption of the…
ProtoX: A First Look
Het Mankad, Sanil Rao, Brian Van Straalen +2
We present a first look at ProtoX, a code generation framework for stencil and pointwise operations that occur frequently in the numerical solution of partial differential equation…
TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation
David Bruce Cousins, Yuriy Polyakov, Ahmad Al Badawi +21
Secure computation is of critical importance to not only the DoD, but across financial institutions, healthcare, and anywhere personally identifiable information (PII) is accessed.…
RPU: The Ring Processing Unit
Deepraj Soni, Negar Neda, Naifeng Zhang +14
Ring-Learning-with-Errors (RLWE) has emerged as the foundation of many important techniques for improving security and privacy, including homomorphic encryption and post-quantum cr…
Indirect Measurement of Hepatic Drug Clearance by Fitting Dynamical Models
Yoko Franchetti, Thomas D. Nolin, Franz Franchetti
We present an indirect signal processing-based measurement method for biological quantities in humans that cannot be directly measured. We develop the method by focusing on estimat…
A Flexible Framework for Parallel Multi-Dimensional DFTs
Doru Thom Popovici, Martin D. Schatz, Franz Franchetti +1
Multi-dimensional discrete Fourier transforms (DFT) are typically decomposed into multiple 1D transforms. Hence, parallel implementations of any multi-dimensional DFT focus on para…
Fast and accurate object detection in high resolution 4K and 8K video using GPUs
Vít Růžička, Franz Franchetti
Machine learning has celebrated a lot of achievements on computer vision tasks such as object detection, but the traditionally used models work with relatively low resolution image…
High Performance Zero-Memory Overhead Direct Convolutions
Jiyuan Zhang, Franz Franchetti, Tze Meng Low
The computation of convolution layers in deep neural networks typically rely on high performance routines that trade space for time by using additional memory (either for packing p…
Automating the Last-Mile for High Performance Dense Linear Algebra
Richard Michael Veras, Tze Meng Low, Tyler Michael Smith +2
High performance dense linear algebra (DLA) libraries often rely on a general matrix multiply (Gemm) kernel that is implemented using assembly or with vector intrinsics. In particu…
Mathematical Foundations of the GraphBLAS
Jeremy Kepner, Peter Aaltonen, David Bader +13
The GraphBLAS standard (GraphBlas.org) is being developed to bring the potential of matrix based graph algorithms to the broadest possible audience. Mathematically the Graph- BLAS…
An Information-Theoretic Approach to PMU Placement in Electric Power Systems
Qiao Li, Tao Cui, Yang Weng +3
This paper presents an information-theoretic approach to address the phasor measurement unit (PMU) placement problem in electric power systems. Different from the conventional 'top…
On-line Decentralized Charging of Plug-In Electric Vehicles in Power Systems
Qiao Li, Tao Cui, Rohit Negi +2
The concept of plug-in electric vehicles (PEV) are gaining increasing popularity in recent years, due to the growing societal awareness of reducing greenhouse gas (GHG) emissions,…