Automated Code Optimization with E-Graphs · HackerPapers discussions

Automated Code Optimization with E-Graphs — mentioned by bobbylarrybobby

Tue, 10 May 2022 15:58:56 GMT

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?"

Paper and discussion history. A mention is not an endorsement.

Automated Code Optimization with E-Graphs — HN submission

Sun, 02 Jan 2022 23:51:37 GMT

Automated Code Optimization with E-Graphs

102 points; 10 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Automated Code Optimization with E-Graphs — mentioned by snicker7

Sun, 02 Jan 2022 18:57:26 GMT

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

Paper and discussion history. A mention is not an endorsement.

Automated Code Optimization with E-Graphs — HN submission

Sat, 01 Jan 2022 14:36:58 GMT

Automated Code Optimization with E-Graphs

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.