I think you meant John Regehr and his souper friends at the University of Utah.

https://arxiv.org/abs/1711.04422

Not exactly what I'm talking about.

My scheme would really be a cheap way of getting some symbolic optimisations for free during the early days of a compiler, I don't think it's a realistic strategy for all compilation.

That’s just peephole optimizations though.