BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Equality Saturation and Industrial Circuit Design - Sam Coward
DTSTART:20250423T100000Z
DTEND:20250423T110000Z
UID:TALK229945@talks.cam.ac.uk
CONTACT:Tobias Grosser
DESCRIPTION:In this talk I'll give a brief background on e-graphs and equa
 lity saturation\, attempting to distill the reasons behind the significant
  interest in this approach. I'll then present my research\, in collaborati
 on with Intel\, into high-performance circuit design exploring how equalit
 y saturation can help us to design efficient computational circuits. Lastl
 y I will outline the goals for my short time in Cambridge\, contributing t
 o the CIRCT project.\n\nBio:\nSam Coward originally completed a maths degr
 ee at Cambrigdge\, but has since moved into digitial circuit design. His P
 hD at Imperial College London with Prof. George Constantinides primarily e
 xplored how to leverage and extend equality saturation to automate arithme
 tic circuit design and verification. He has recently joined Tobias Grosser
 's group in Cambridge for a short post-doc.
LOCATION:SS03\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR