3 papers
cs.PL2026
Formal Performance and Compile Time Guarantees for Compiler Optimization Heuristics
Nikil V. Shyamsunder
Modern optimizing compilers rely on heuristic search algorithms for NP-hard optimization problems, which can result in poor generated-code performance and long or unpredictable com…
cs.PL2026
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…
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…