|
| 1 | +--- |
| 2 | +layout: tutorial |
| 3 | +title: "ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators" |
| 4 | +permalink: /tutorials/pldi2026/ |
| 5 | +importance: 0 |
| 6 | +conference: PLDI 2026 |
| 7 | +date_str: Jun 16, 2026 |
| 8 | +day: Tuesday |
| 9 | +time_str: "9:00 AM - 12:30 PM (UTC-6)" |
| 10 | +venue: "Bear Peak, Limelight Boulder" |
| 11 | +location: "1295 University Ave, Boulder, CO, USA" |
| 12 | +prerequisites: Bring your own laptop with a working installation of Docker and follow the <a href="https://github.com/act-compiler/act/tree/master/tutorials/pldi26/setup.md" target="_blank">tutorial setup instructions</a>. |
| 13 | +github: https://github.com/act-compiler/act/tree/master/tutorials/pldi26 |
| 14 | +--- |
| 15 | + |
| 16 | +## Introduction |
| 17 | + |
| 18 | +Recent years have seen a proliferation of specialized AI accelerators -- proposed in both academia (e.g., Gemmini, FEATHER, EVA) and industry (e.g., Google TPU, Intel AMX, AWS Trainium) -- that depart significantly from traditional CPU/GPU architectures. |
| 19 | +However, research on compiler and systems support for these accelerators remains sparse, largely due to the lack of mature open-source ML compiler infrastructures capable of targeting them from popular ML frameworks like PyTorch, and JAX. |
| 20 | +Building such support involves considerable manual effort, slowing innovation and creating a gap between hardware and software research communities. |
| 21 | + |
| 22 | +This tutorial introduces the **ACT (Accelerator Compiler Toolkit)**, an ecosystem that automatically generates complete ML compiler backends and essential software tooling from high-level ISA specifications of AI accelerators. |
| 23 | + |
| 24 | +The ACT ecosystem consists of: |
| 25 | + |
| 26 | +1. **TAIDL (Tensor Accelerator ISA Definition Language)**: A Python-based DSL for specifying AI accelerator ISAs |
| 27 | +2. **TAIDL-TO (Test Oracle) Generator**: Automatically generates _fast & scalable_ functional simulators from TAIDL specifications |
| 28 | +3. **ACT Backend Generator**: Automatically generates _sound & complete_ ML compiler backends just from TAIDL specifications |
| 29 | +4. **XLA Integration**: Enables end-to-end compilation from popular ML frameworks like JAX, TensorFlow, and PyTorch |
| 30 | + |
| 31 | +The tutorial is designed for researchers, practitioners, and students interested in compiler design, programming languages, and AI/ML hardware. |
| 32 | +By the end, participants will have hands-on experience with the complete ACT workflow and understand how to rapidly prototype ML compiler support for novel AI accelerator architectures. |
| 33 | + |
| 34 | +--- |
| 35 | + |
| 36 | +## Contents and Timeline (tentative) |
| 37 | + |
| 38 | +| Time | Topic | Presenter | |
| 39 | +| ---------------- | ----------------------------------------------------------------------------- | -------------------- | |
| 40 | +| 9:00 - 9:05 AM | Welcome and Introduction | Prof. Charith Mendis | |
| 41 | +| 9:05 - 9:15 AM | Tutorial Logistics | Devansh Jain | |
| 42 | +| 9:20 - 9:40 AM | Talk: Overview of ACT Ecosystem | Prof. Charith Mendis | |
| 43 | +| 9:40 - 9:50 AM | Demonstration 1: Quick walkthrough of ACT Ecosystem | Devansh Jain | |
| 44 | +| 9:50 - 10:10 AM | Hands-on Exercise 1: Specifying a new Accelerator ISA | Devansh Jain | |
| 45 | +| 10:10 - 10:40 AM | Coffee Break | | |
| 46 | +| 10:40 - 11:00 AM | Hands-on Exercise 2: Writing custom Accelerator Kernels | Devansh Jain | |
| 47 | +| 11:00 - 11:30 AM | Talk: Automatically Generating Compiler Backends just from ISA Specifications | Akash Pardeshi | |
| 48 | +| 11:30 - 11:50 AM | Hands-on Exercise 3: Generating a Compiler Backend for a new Accelerator ISA | Devansh Jain | |
| 49 | +| 11:50 - 12:00 PM | Demonstration 2: Integrating the new Accelerator Backend with XLA Compiler | Devansh Jain | |
| 50 | +| 12:00 - 12:20 PM | Hands-on Exercise 4: Tweaking the ISA and Open Discussion | Devansh Jain | |
| 51 | +| 12:20 - 12:30 PM | Q&A and Closing Remarks | Prof. Charith Mendis | |
| 52 | + |
| 53 | +--- |
| 54 | + |
| 55 | +## Organizers |
| 56 | + |
| 57 | +- **Prof. Charith Mendis** is an Assistant Professor in the Siebel School of Computing and Data Science at the University of Illinois Urbana-Champaign (UIUC). His broad research interests are at the intersection of compilers, program optimization and machine learning. He received his Ph.D. and Master's from the Massachusetts Institute of Technology and his B.Sc. from the University of Moratuwa. He is the recipient of a DARPA Young Faculty Award, an NSF CAREER Award, the William A. Martin outstanding master's thesis award at MIT and the university gold medal for his B.Sc. He has won numerous paper awards including a Distinguished Paper Award at POPL, a Best Student Paper Award at the IEEE BigData conference, an honorable mention for the Best Artifact Award at SIGMOD, a Best Paper Award at ML for Systems workshop at ISCA and an IEEE Top Picks Honorable Mention. |
| 58 | +- **Devansh Jain** is a Ph.D. student in the Siebel School of Computing and Data Science at the University of Illinois Urbana-Champaign (UIUC), advised by Prof. Charith Mendis. His research interests lie in the field of programming languages, compilers & computer architecture, primarily domain-specific languages and architectures. His primary research objective is to develop a unified compiler infrastructure for architectures designed for accelerating tensor computations. He has authored/co-authored multiple papers at top-tier PL & systems venues, including POPL, OOPSLA, MICRO, ISPASS, with a Distinguished Paper Award at POPL'25. |
| 59 | +- **Akash Pardeshi** is a M.S. student in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC), advised by Prof. Charith Mendis. His broad research interests are in compilers and computer architecture. His research focuses on techniques such as equality saturation and e-graph applications to ML compilers. |
| 60 | +- **Marco Frigo** is a B.S. student in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC). His broad research interests are in compilers and computer architecture. His research focuses on developing software infrastructure for emerging AI accelerators. |
0 commit comments