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, Nikil V. Shyamsunder +3
To test and debug hardware modules, it is common to write two programs. A driver maps high-level transactions to cycle-level I/O behavior, and a monitor looks at the low-level I/O…