Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation

Accelerating programs is typically done by recognizing code idioms matching high-performance libraries or hardware interfaces. However, recognizing such idioms automatically is challenging. The idiom recognition machinery is difficult to write and requires expert knowledge. In addition, slight varia...

Full description

Bibliographic Details

Published in:	Proceedings / International Symposium on Code Generation and Optimization pp. 270 - 282
Main Authors:	Van Der Cruysse, Jonathan, Dubach, Christophe
Format:	Conference Proceeding
Language:	English
Published:	IEEE 02.03.2024
Subjects:	array programming Codes equality saturation functional programming Kernel Libraries Machinery Optimization pattern matching Robustness Semantics
ISSN:	2643-2838
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!