The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification

Add to your list(s) Download to your calendar using vCal

• Dr Tobias Grosser - Department of Computer Science and Technology, University of Cambridge
• Wednesday 07 February 2024, 15:05-15:55
• Lecture Theatre 1, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Ben Karniely.

Despite immense innovation pressure in the industry, we are held back by the slow evolution of our CPU -focused stand-alone compilation toolchains. Building a new domain-specific compiler, writing a new verification tool, optimizing an application, designing a microprocessor, or verifying some of its components: each of these tasks takes years. While the underlying problems are inherently complex, our inability to broadly exploit synergies across communities slows us down even more. Deep learning, battery electric vehicles, and rocket launches have seen orders-of-magnitude improvements over the last ten years, but compiler development is still slow. We must radically change the compiler development process: break it into pieces, scale the communities involved, use verification to enable scalability, and aggressively pursue automation across the stack. Open source can serve as a platform for this change, and our research in the context of the LLVM /MLIR community takes the first steps in this direction. I show how the number of compiler abstractions exploded recently, offer insight into the new hardware design stack CIRCT , and share our most recent efforts in high-performance computing and interactive theorem proving. Together, we will explore how these seemingly unrelated topics seed “the Compilation Game.”

Link to join virtually: https://cam-ac-uk.zoom.us/j/81322468305

A recording of this talk is available at the following link: https://www.cl.cam.ac.uk/seminars/wednesday/video/

Compiler Social Cambridge following the talk, 4-8pm. Further details at the following link: https://grosser.science/compiler-social-24-feb/

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Computer Laboratory Computer Architecture Group Meeting
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory, William Gates Building
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.