Write a Blog >>
CC 2021
Tue 2 - Wed 3 March 2021 Online Conference
Tue 2 Mar 2021 12:45 - 13:00 at CC Virtual Room - IR Design Chair(s): Albert Cohen

The continued specialization in hardware and software due to the end of Moore's law forces us to question fundamental design choices in compilers, and in particular for domain specific languages.
The days where a single universal compiler intermediate representation (IR) was sufficient to perform all important optimizations are over.
We need novel IRs and ways for them to interact with one another while leveraging established compiler infrastructures.

In this paper, we present a practical implementation of a functional pattern-based IR in the SSA-based MLIR framework.
Our IR captures the program semantics as compositions of common computational patterns enabling rewrite-based optimizations.
We discuss the integration with other IRs by demonstrating the compilation of a neural network represented as a TensorFlow graph down to optimized LLVM code via our functional pattern-based IR.
Our implementation demonstrates for the first time a practical integration of a functional pattern-based IR with other IRs and it enables the construction of sophisticated code generators for domain specific languages.

Tue 2 Mar

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

12:30 - 13:15
IR DesignCC Research Papers at CC Virtual Room
Chair(s): Albert Cohen Google
Data-Aware Process Networks
CC Research Papers
Christophe Alias CNRS; ENS Lyon; Inria; University of Lyon, Alexandru Plesco XtremLogic
Integrating a Functional Pattern-Based IR into MLIRArtifacts Evaluated – Functional v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Martin Lücke University of Edinburgh, Michel Steuwer University of Edinburgh, Aaron Smith University of Edinburgh; Microsoft
Compiling Data-Parallel Datalog
CC Research Papers
Thomas Gilray University of Alabama at Birmingham, Sidharth Kumar University of Alabama at Birmingham, Kristopher Micinski Syracuse University