تقرير
Automated Code Optimization with E-Graphs
العنوان: | Automated Code Optimization with E-Graphs |
---|---|
المؤلفون: | Cheli, Alessandro |
سنة النشر: | 2021 |
المجموعة: | Computer Science |
مصطلحات موضوعية: | Computer Science - Programming Languages, Computer Science - Symbolic Computation, I.1.0, I.1.2, I.1.3, D.3.2, D.3.3, D.3.4 |
الوصف: | This thesis proposes an advanced, generic and high-level code rewriting and analysis system in the Julia programming language, providing applied equality saturation in the presence of multiple dispatch and metaprogramming. We show how our system can practically solve some challenging problems: Can programmers implement their own high-level compiler optimizations for their domain-specific scientific programs, without the requirement of them being compiler experts at all? Can these optimizers be implemented by users in the same language and inside the same programs they want to optimize, solving the two-language problem? Can these compiler optimizers be written in a high-level fashion, as equations, without the need to worry about the rewriting ordering? Thus, can symbolic mathematics do high-level compiler optimizations or vice-versa? Comment: Bachelor Thesis in Computer Science, University of Pisa |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2112.14714 |
رقم الأكسشن: | edsarx.2112.14714 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |