Just back from 3 weeks in Cornell visiting Alexandra Silva, Adrian Sampson and Zhiru Zhang, kicking off a couple of promising collaborations! Was lucky enough to give two talks. One on using redundant representations to build fast arithmetic circuits (slides) and one on my PhD research applying equality saturation to circuit design (slides).