Tue 14 Jun 2022 10:30 - 10:45 at Toucan - Thinking Alike Chair(s): Max Willsey
Tue 14 Jun 2022 22:30 - 22:45 at Toucan - Thinking Alike
Tue 14 Jun 2022 22:30 - 22:45 at Toucan - Thinking Alike
There are many striking similarities between equality saturation and Datalog. This talk is about a prototype implementation called Egglog0 built upon the e-graph framework library egg extended with multipatterns and the modeling power equality saturation gains with the addition of logic programming constructs.
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 15mTalk | Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory Pre-print Media Attached | ||
10:45 15mTalk | Chasing an egg EGRAPHS Yihong Zhang University of Washington Pre-print | ||
11:00 15mTalk | ECTAs: E-Graphs Better (at Encoding) EGRAPHS James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego | ||
11:15 15mTalk | E-Graphs, VSAs, and Tree Automata: a Rosetta StoneVirtual EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL Link to publication Pre-print | ||
11:30 15mTalk | Equality Saturation as a Tactic for Proof Assistants EGRAPHS | ||
11:45 15mTalk | Towards Optimising Certified Programs by Proof Rewriting EGRAPHS | ||
22:30 - 00:00 | |||
22:30 15mTalk | Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory Pre-print Media Attached | ||
22:45 15mTalk | Chasing an egg EGRAPHS Yihong Zhang University of Washington Pre-print | ||
23:00 15mTalk | ECTAs: E-Graphs Better (at Encoding) EGRAPHS James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego | ||
23:15 15mTalk | E-Graphs, VSAs, and Tree Automata: a Rosetta StoneVirtual EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL Link to publication Pre-print | ||
23:30 15mTalk | Equality Saturation as a Tactic for Proof Assistants EGRAPHS | ||
23:45 15mTalk | Towards Optimising Certified Programs by Proof Rewriting EGRAPHS | ||
