Equality Saturation and Industrial Circuit Design

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

• Sam Coward
• Wednesday 23 April 2025, 11:00-12:00
• SS03, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Tobias Grosser.

In this talk I’ll give a brief background on e-graphs and equality saturation, attempting to distill the reasons behind the significant interest in this approach. I’ll then present my research, in collaboration with Intel, into high-performance circuit design exploring how equality saturation can help us to design efficient computational circuits. Lastly I will outline the goals for my short time in Cambridge, contributing to the CIRCT project.

Bio: Sam Coward originally completed a maths degree at Cambrigdge, but has since moved into digitial circuit design. His PhD at Imperial College London with Prof. George Constantinides primarily explored how to leverage and extend equality saturation to automate arithmetic circuit design and verification. He has recently joined Tobias Grosser’s group in Cambridge for a short post-doc.

This talk is part of the Computer Laboratory Computer Architecture Group Meeting series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Computer Architecture Group Meeting
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• SS03, Computer Laboratory, William Gates Building
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.