Jacques: Created page with " 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..."

2022-08-12T09:03:56Z

Created page with " 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..."

New page

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.

WG211/M21Kelly - Revision history

Jacques: Created page with " 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..."