In association with KQCodes, ARC proudly presents the TechSocial Series. In September, we will be joined by Samuel Coward from UCL Computer Science to talk about Equality Saturation and Industrial Circuit Design.
A series of FREE, informal TALKS, DISCUSSION and PIZZA! Open to anyone interested in computational research methods, technology and innovation, this series covers a broad range of tools, programs, digital environments & language.
Join us every month at 90 High Holborn
Abstract
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.
About the speaker
Sam Coward originally completed a maths degree at Cambridge, but has since moved into digital 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 recently joined UCL Computer Science working with Alexandra Silva and is an incoming 1851 Royal Commission Research Fellow. Website: https://samuelcoward.co.uk/
Visit our TechSocials site to find more information regarding future dates, times and registration.
Make sure to subscribe to the ARC mailing list if you want to receive updates for future events.
90 High Holborn
WC1V 6LJ
London
Begin:
End:
Add to Calendar