|
|
The CAP Seminar and Compiler Seminar are pleased to announce a joint in-person session, with a talk by Mathieu Fehr, taking place today (May 2) at 4:30 PM Central in 2405 Siebel (broadcast available over Zoom).
Abstract
Designing compiler intermediate representations (IRs) is often a manual process that makes exploration and innovation in this space costly. Developers typically use general-purpose programming languages to design IRs. As a result, IR implementations are verbose, manual modifications are expensive, and designing tooling for the inspection or generation of IRs is impractical. While compilers relied historically on a few slowly evolving IRs, domain-specific optimizations and specialized hardware motivate compilers to use and evolve many IRs. We facilitate the implementation of SSA-based IRs by introducing IRDL, a domain-specific language to define IRs. We analyze all 28 domain-specific IRs developed as part of LLVM’s MLIR project over the last two years and demonstrate how to express these IRs exclusively in IRDL while only rarely falling back to IRDL’s support for generic C++ extensions. By enabling the concise and explicit specification of IRs, we provide foundations for developing effective tooling to automate the compiler construction process.
Bio
Mathieu Fehr is a 2nd-year PhD student working on compiler design in the University of Edinburgh under the supervision of Tobias Grosser. Mathieu's research topic is on making compiler construction increasingly easier by providing a better interface to interact with compilers, with a focus on defining major parts of compilers using declarative specifications. Previously, Mathieu worked with Adam Chlipala in MIT, Torsten Hoefler and Tobias Grosser at ETH Zurich, and Albert Cohen at ENS Paris.
|
|