3 citations · 9 across the 9 of their papers we have counts for
3 papers · 1 filter
A Barrier-Free Synchronization Algorithm for Multi-Engine AI Accelerators
Chungha Sung, Nikil V. Shyamsunder, Hanliang Zhang +2
Multi-engine AI accelerators such as AWS Trainium comprise specialized compute engines that execute in parallel, and the compiler must synchronize the data dependencies between the…
Axon: A Synthesizing Superoptimizer for Tensor Programs
Akash Kothari, Shaowei Zhu, Daniel Kroening +1
Writing high performance kernels for AI accelerators requires deep expertise in tiling, instruction selection, data layout, and operator fusion placing a significant burden on prog…
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, Chao Wang
Interrupts have been widely used in safety-critical computer systems to handle outside stimuli and interact with the hardware, but reasoning about interrupt-driven software remains…