Equality saturation

DOI10.1145/1480881.1480915MaRDI QIDQ5261523zbMATH OpenOpenAlexFDO

Authors Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner

Publication date 3 July 2015

Published in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1480881.1480915

zbMATH Keywords

compiler optimizationequality reasoningintermediate representation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Equality saturation: a new approach to optimization
• scientific article; zbMATH DE number 4176369
• Saturation in linear optimization
• An efficient algorithm for a class of equality-constrained optimization problems
• scientific article; zbMATH DE number 5671377
• On the equality constraints tolerance of constrained optimization problems
• Optimization over equilibrium sets^∗
• Iterative Optimization with Equality Constraints
• A penalty-free method for equality constrained optimization
• On the Implementation of an Algorithm for Large-Scale Equality Constrained Optimization

Cited in

(11)

• Higher-level supercompilation as a metasystem transition
• Equality saturation: a new approach to optimization
• Proving properties of functional programs by equality saturation
• Inductive prover based on equality saturation for a lazy functional language
• Accurate evaluation of arithmetic expressions (invited talk)
• Impact of accuracy optimization on the convergence of numerical iterative methods
• Fast approximations of quantifier elimination
• Transforming optimization problems into disciplined convex programming form
• Semantic foundations of equality saturation
• Database theory in action: search-based program optimization
• Theory exploration powered by deductive synthesis

This page was built for publication: Equality saturation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261523)