collaborators

6 papers

cs.AR2026

Themis: Software-Defined Hardware Prefetching

Keisuke Kamahori, Neil Adit, Kan Zhu +13

Data cache misses represent a significant portion of stall cycles in datacenter workloads. Hardware prefetchers that reduce such stalls by fetching data ahead of time have become i…

cs.PL2026

Specifying Hardware Communication as Programs

Ernest Ng, Nikil Shyamsunder, Francis Pham +2

To test and debug hardware modules, it is common to write two programs: a driver, which translates high-level transactions into interactions on the module's input and output signal…

cs.DC2026

VDCores: Resource Decoupled Programming and Execution for Asynchronous GPU

Zijian He, Adrian Sampson, Yiying Zhang +1

Modern GPUs increasingly rely on specialized and asynchronous hardware units to deliver high performance. Yet these units are often underutilized because today's GPU software stack…

cs.PL2026

Parameterized Hardware Design with Latency-Abstract Interfaces

Rachit Nigam, Ethan Gabizon, Edmund Lam +3

Hardware designs must use latency-insensitive (LI) interfaces when timing is input-dependent. When timing is input-independent, designs should use latency-sensitive (LS) interfaces…

cs.AR2025

From PyTorch to Calyx: An Open-Source Compiler Toolchain for ML Accelerators

Jiahan Xie, Evan Williams, Adrian Sampson

We present an end-to-end open-source compiler toolchain that targets synthesizable SystemVerilog from ML models written in PyTorch. Our toolchain leverages the accelerator design l…

cs.PL2025

Understanding Accelerator Compilers via Performance Profiling

Ayaka Yorihiro, Griffin Berlstein, Pedro Pontes García +2

Accelerator design languages (ADLs), high-level languages that compile to hardware units, help domain experts quickly design efficient application-specific hardware. ADL compilers…