Fri 17 Jun 2022 11:00 - 11:20 at Kon-Tiki - Hardware I Chair(s): Clément Pit-Claudel
Fri 17 Jun 2022 23:00 - 23:20 at Kon-Tiki - Hardware I

High-performance kernel libraries are critical to exploiting accelerators and specialized instructions in many applications. Because compilers are difficult to extend to support diverse and rapidly-evolving hardware targets, and automatic optimization is often insufficient to guarantee state-of-the-art performance, these libraries are commonly still coded and optimized by hand, at great expense, in low-level C and assembly. To better support development of high-performance libraries for specialized hardware, we propose a new programming language, SYSTL, based on the principle of exocompilation: externalizing target-specific code generation support and optimization policies to user-level code. SYSTL allows custom hardware instructions, specialized memories, and accelerator configuration state to be defined in user libraries. It builds on the idea of user scheduling to externalize hardware mapping and optimization decisions. Schedules are defined as composable rewrites within the language, and we develop a set of effect analyses which guarantee program equivalence and memory safety through these transformations. We show that SYSTL enables rapid development of state-of-the-art matrix-matrix multiply and convolutional neural network kernels, for both an embedded neural accelerator and x86 with AVX-512 extensions, in a few dozen lines of code each.

Fri 17 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:00
Hardware IPLDI at Kon-Tiki +12h
Chair(s): Clément Pit-Claudel EPFL, AWS
10:40
20m
Talk
Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
PLDI
Jackson Woodruff University of Edinburgh, Jordi Armengol-Estapé University of Edinburgh, Sam Ainsworth University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh
DOI
11:00
20m
Talk
Exocompilation for Productive Programming of Hardware Accelerators
PLDI
Yuka Ikarashi MIT, Gilbert Louis Bernstein University of California at Berkeley, Alex Reinking UC Berkeley, Hasan Genc UC Berkeley, Jonathan Ragan-Kelley MIT
DOI
11:20
20m
Talk
PDL: A High-Level Hardware Design Language for Pipelined Processors
PLDI
Drew Zagieboylo Cornell University, Charles Sherk Cornell University, G. Edward Suh Cornell University / Facebook, Andrew C. Myers Cornell University
DOI
11:40
20m
Talk
WARio: Efficient Code Generation for Intermittent Computing
PLDI
Vito Kortbeek Delft University of Technology, Souradip Ghosh Carnegie Mellon University, Josiah Hester Northwestern University, Simone Campanoni Northwestern University, USA, Przemysław Pawełczak Delft University of Technology
DOI Pre-print
22:40 - 00:00
Hardware IPLDI at Kon-Tiki
22:40
20m
Talk
Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
PLDI
Jackson Woodruff University of Edinburgh, Jordi Armengol-Estapé University of Edinburgh, Sam Ainsworth University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh
DOI
23:00
20m
Talk
Exocompilation for Productive Programming of Hardware Accelerators
PLDI
Yuka Ikarashi MIT, Gilbert Louis Bernstein University of California at Berkeley, Alex Reinking UC Berkeley, Hasan Genc UC Berkeley, Jonathan Ragan-Kelley MIT
DOI
23:20
20m
Talk
PDL: A High-Level Hardware Design Language for Pipelined Processors
PLDI
Drew Zagieboylo Cornell University, Charles Sherk Cornell University, G. Edward Suh Cornell University / Facebook, Andrew C. Myers Cornell University
DOI
23:40
20m
Talk
WARio: Efficient Code Generation for Intermittent Computing
PLDI
Vito Kortbeek Delft University of Technology, Souradip Ghosh Carnegie Mellon University, Josiah Hester Northwestern University, Simone Campanoni Northwestern University, USA, Przemysław Pawełczak Delft University of Technology
DOI Pre-print