HackerPapers

arXiv:2112.14714cs.PL

Automated Code Optimization with E-Graphs

Alessandro Cheli

Abstract

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?

arXiv comments
Bachelor Thesis in Computer Science, University of Pisa
Journal reference
DOI
Subjects
cs.PLProgramming Languages cs.SCSymbolic Computation

On Hacker News

Linked by 2 identifiable commenters in 2 comments across 2 threads, from Jan 2022 to May 2022. Found in 2 HN submissions from Jan 2022 to Jan 2022. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments2 threads

  1. Show HN: Peridot – A functional language based on two-level type theory 1 comment

    • Reminds me of this paper on implementing compiler optimizations within the Julia language itself: https://arxiv.org/abs/2112.14714 -- "can symbolic mathematics do high-level compiler optimizations or vice-versa?"

      bobbylarrybobbyView on HNParent context

  2. Write custom Julia compiler passes in library code 1 comment

    • Mentioned paper: https://arxiv.org/abs/2112.14714 Abstract: 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…

      snicker7View on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.