Caviar: An E-graph Based TRS for Automatic Code Optimization

Smail Kourta, Adel Namani, Fatima Benbouzid-Si Tayeb, Kim Hazelwood, Chris Cummins, Hugh Leather, Riyadh Baghdadi

Type: Preprint

Publication Date: 2021-11-23

Citations: 0

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	Caviar: An E-graph Based TRS for Automatic Code Optimization	2021	Smail Kourta Adel Namani Fatima Benbouzid-Si Tayeb Kim Hazelwood Chris Cummins Hugh Leather Riyadh Baghdadi
+ PDF Chat	Caviar: an e-graph based TRS for automatic code optimization	2022	Smail Kourta Adel Namani Fatima Benbouzid-Si Tayeb Kim Hazelwood Chris Cummins Hugh Leather Riyadh Baghdadi
+ PDF Chat	egg: Fast and extensible equality saturation	2021	Max Willsey Chandrakana Nandi Yisu Remy Wang Oliver Flatt Zachary Tatlock Pavel Panchekha
+	egg: Fast and Extensible E-graphs	2020	Max Willsey Yisu Remy Wang Oliver Flatt Chandrakana Nandi Pavel Panchekha Zachary Tatlock
+	egg: Easy, Efficient, and Extensible E-graphs.	2020	Max Willsey Yisu Remy Wang Oliver Flatt Chandrakana Nandi Pavel Panchekha Zachary Tatlock
+	Rewrite Rule Inference Using Equality Saturation	2021	Chandrakana Nandi Max Willsey Amy Zhu Yisu Remy Wang Brett Saiki Adam W. Anderson Adriana Schulz Dan Grossman Zachary Tatlock
+	Rewrite Rule Inference Using Equality Saturation	2021	Chandrakana Nandi Max Willsey Amy Zhu Yisu Remy Wang Brett Saiki Adam Anderson Adriana Schulz Dan Grossman Zachary Tatlock
+ PDF Chat	Rewrite rule inference using equality saturation	2021	Chandrakana Nandi Max Willsey Amy Zhu Yisu Remy Wang Brett Saiki Adam Anderson Adriana Schulz Dan Grossman Zachary Tatlock
+	Optimizing Regular Expressions via Rewrite-Guided Synthesis	2021	Jordan Schmerge Miles Claver Jackson Garner Jake Vossen Jedidiah McClurg
+	Optimizing Regular Expressions via Rewrite-Guided Synthesis	2022	Jedidiah McClurg Miles Claver Jackson Garner Jake Vossen Jordan Schmerge Mehmet E. Belviranlı
+	Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings	2021	Thomas Kœhler Phil Trinder Michel Steuwer
+	Automated Code Optimization with E-Graphs	2021	Alessandro Cheli
+ PDF Chat	ROVER: RTL Optimization via Verified E-Graph Rewriting	2024	Samuel Coward Theo Drane George A. Constantinides
+ PDF Chat	Equality Saturation: A New Approach to Optimization	2011	Ross Tate Michael Stepp Zachary Tatlock Sorin Lerner
+	Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs	2021	Thomas Kœhler Phil Trinder Michel Steuwer
+	Precondition Inference for Peephole Optimizations in LLVM	2016	David Menendez Santosh Nagarakatte
+	PTE: Axiomatic Semantics based Compiler Testing	2024	Guoliang Dong Jun Sun Richard Schumi Bo Wang Xinyu Wang
+ PDF Chat	A Formally Verified Compiler Back-end	2009	Xavier Leroy
+ PDF Chat	Semantic foundations of equality saturation	2025	Dan Suciu Yisu Remy Wang Yihong Zhang
+ PDF Chat	Verifying Term Graph Optimizations using Isabelle/HOL	2023	Brae J. Webb Ian J. Hayes Mark Utting

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (6)

Action	Title	Year	Authors
+	SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra	2020	Yisu Remy Wang Shana Hutchison Jonathan Leang Bill Howe Dan Suciu
+	Synthesizing structured CAD models with equality saturation and inverse transformations	2020	Chandrakana Nandi Max Willsey Adam Anderson James R. Wilcox Eva Darulová Dan Grossman Zachary Tatlock
+ PDF Chat	egg: Fast and extensible equality saturation	2021	Max Willsey Chandrakana Nandi Yisu Remy Wang Oliver Flatt Zachary Tatlock Pavel Panchekha
+	Equality Saturation for Tensor Graph Superoptimization	2021	Yichen Yang Phitchaya Mangpo Phothilimtha Yisu Remy Wang Max Willsey Sudip Roy Jacques A. Pienaar
+ PDF Chat	Pure tensor program rewriting via access patterns (representation pearl)	2021	Gus Henry Smith Andrew Liu Steven Lyubomirsky Scott Davidson Joseph McMahan Michael Taylor Luís Ceze Zachary Tatlock
+ PDF Chat	Rewrite rule inference using equality saturation	2021	Chandrakana Nandi Max Willsey Amy Zhu Yisu Remy Wang Brett Saiki Adam Anderson Adriana Schulz Dan Grossman Zachary Tatlock