4 papers
Optimism in Equality Saturation
Russel Arbore, Alvin Cheung, Max Willsey
Equality saturation is a program optimization technique based on non-destructive rewriting and a form of abstract interpretation called e-class analysis. Existing e-class analyses…
HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
Russel Arbore, Xavier Routh, Abdul Rafae Noor +7
Hyperdimensional Computing (HDC), a technique inspired by cognitive models of computation, has been proposed as an efficient and robust alternative basis for machine learning. HDC…
Hercules: A Compiler for Productive Programming of Heterogeneous Systems
Russel Arbore, Aaron Councilman, Xavier Routh +3
Modern computing systems increasingly rely on composing heterogeneous devices to improve performance and efficiency. Programming these systems is often unproductive: algorithm impl…
Hybrid Voxel Formats for Efficient Ray Tracing
Russel Arbore, Jeffrey Liu, Aidan Wefel +2
Voxels are a geometric representation used for rendering volumes, multi-resolution models, and indirect lighting effects. Since the memory consumption of uncompressed voxel volumes…