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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings / International Symposium on Code Generation and Optimization S. 270 - 282
Hauptverfasser:	Van Der Cruysse, Jonathan, Dubach, Christophe
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 02.03.2024
Schlagworte:	array programming Codes equality saturation functional programming Kernel Libraries Machinery Optimization pattern matching Robustness Semantics
ISSN:	2643-2838
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!