activity
20242026
most citedSpecExec: Massively Parallel Speculative Decoding for Interactive LLM Inference on Consumer Devices

3 citations · 8 across the 9 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

Prism: Symbolic Superoptimization of Tensor Programs

Mengdi Wu, Xiaoyu Jiang, Oded Padon +1

This paper presents Prism, the first symbolic superoptimizer for tensor programs. The key idea is sGraph, a symbolic, hierarchical representation that compactly encodes large class…