BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Compilation Game: Unifying AI\, Hardware Design\, Quantum\, Cl
 imate Modelling\, and Verification - Dr Tobias Grosser - Department of Com
 puter Science and Technology\, University of Cambridge
DTSTART:20240207T150500Z
DTEND:20240207T155500Z
UID:TALK211120@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:Despite immense innovation pressure in the industry\, we are h
 eld back by the slow evolution of our CPU-focused stand-alone compilation 
 toolchains. Building a new domain-specific compiler\, writing a new verifi
 cation tool\, optimizing an application\, designing a microprocessor\, or 
 verifying some of its components: each of these tasks takes years. While t
 he underlying problems are inherently complex\, our inability to broadly e
 xploit synergies across communities slows us down even more. Deep learning
 \, battery electric vehicles\, and rocket launches have seen orders-of-mag
 nitude improvements over the last ten years\, but compiler development is 
 still slow. We must radically change the compiler development process: bre
 ak it into pieces\, scale the communities involved\, use verification to e
 nable scalability\, and aggressively pursue automation across the stack. O
 pen source can serve as a platform for this change\, and our research in t
 he context of the LLVM/MLIR community takes the first steps in this direct
 ion. I show how the number of compiler abstractions exploded recently\, of
 fer insight into the new hardware design stack CIRCT\, and share our most 
 recent efforts in high-performance computing and interactive theorem provi
 ng. Together\, we will explore how these seemingly unrelated topics seed "
 the Compilation Game."\n\nLink to join virtually: https://cam-ac-uk.zoom.u
 s/j/81322468305\n\nA recording of this talk is available at the following 
 link: https://www.cl.cam.ac.uk/seminars/wednesday/video/\n\nCompiler Socia
 l Cambridge following the talk\, 4-8pm. Further details at the following l
 ink:\nhttps://grosser.science/compiler-social-24-feb/
LOCATION:Lecture Theatre 1\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR