Computer Science Speaker Series Master Calendar

Back to Listing

Joint Compiler/CAP Seminar IRDL: An IR Definition Language for SSA Compilers, Mathieu Fehr, University of Edinburgh

Event Type
Seminar/Symposium
Sponsor
Illinois Computer Science; Architecture, Compilers, and Parallel Computing Research Area
Location
2405 Siebel Center, https://illinois.zoom.us/j/85331033399?pwd=NlFReUlQUVlvYWVyL0VsUXFOTUllZz09
Date
May 2, 2022   4:30 pm  
Speaker
Mathieu Fehr, University of Edinburgh
Views
25
Originating Calendar
Computer Science Speakers Calendar

 

 

Joint Compiler/CAP Seminar

IRDL: An IR Definition Language for SSA Compilers

Mathieu Fehr
(University of Edinburgh)

Monday, May 2, 2022 | 4:30 PM - 5:30 PM Central 2405 Siebel Center for Computer Science (Zoom broadcast available)

Join Zoom Call

 

 

 

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.

 

 

 

The Compiler Seminar (https://go.cs.illinois.edu/CompilerSeminar) is a weekly meeting that covers advances in compilation technology, domain-specific languages, compiler verification, and program optimizations in the Department of Computer Science at the University of Illinois Urbana-Champaign.

 

 

 

The CAP Seminar (https://go.cs.illinois.edu/CAPSeminar) is a weekly meeting that covers the Architecture, Compilers, and Parallel Computing research area in the Department of Computer Science at the University of Illinois Urbana-Champaign, with attendees from the CS and ECE departments as well as the NCSA. In Spring 2022, the seminar is being conducted in a fully virtual format. If you are interested in learning more about the seminar, which takes place weekly on Tuesdays at 4 PM Central, please contact the seminar planners at cap-seminar-planning@lists.cs.illinois.edu

 

 

 

link for robots only