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…
Conflict Extraction in Probabilistic Datalog Analyses
Siyu Chen, Chungha Sung, Xuyang Li +1
Probabilistic extensions of Datalog enable static analyses such as pointer analysis, data race detection, and side-channel analysis to rank alarms by likelihood, but this added exp…
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…