WG211/M21Kelly

This talk is intended to provoke thinking and discussion about program generation where the generator inspects (some of) the input data, and generates code that is optimised based on its structure, patterns, or properties. The idea has, of course, plenty of heritage, as partial evaluation, and as "inspector-executor". This talk will explore some of the data-specific optimisations we've been working on - in multiply-free SIMD CNNs, in small matrix multiplies found in fluid dynamics, and beyond.