We have a monthly community meeting on the third Thursday of each month at 9:00am Pacific time. Meetings are approximately 1 hour long.
The Zoom link will be distributed on the EGRAPHS Zulip just in time for each session.
Add this to your Google Calendar by
clicking here,
or add it manually by hitting
“Other Calendars” → “+” → “From URL” and pasting this URL:
http://egraphs.org/meeting/calendar.ics
Meetings
-
:
Leonardo de Moura
grind in Lean 4 -
:
Abd-El-Aziz Zayed
DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog - : No Meeting
- : No Meeting
-
:
Yihong Zhang
Semantic foundations of equality saturation -
:
Zach Sisco
Hardware Decompilation: Recovering Abstraction in Digital Circuits -
:
Rudi Schneider
Slotted E-Graphs -
:
Cole Kurashige
C.C. Lemma: induction and lemma discovery in e-graphs - : No Meeting
- : No Meeting
-
:
Chun Kit Lam and Glenn Sun
Tree-Width Extraction -
:
Thomas Bourgeat
Improving Proof Automation with E-Graphs for Goal Simplification: Experiments and Challenges -
:
Samuel Thomas
Synthesizing Vectorizing Compilers with EGraphs and Rule Synthesis -
:
Xinyu Wang
Synthesis of programs with local variables (and its applications to web automation) - : No Meeting
- : EGRAPHS Workshop at PLDI 2024
-
:
Andrew Reynolds
Equality Reasoning in CVC5 -
:
Amir Shaikhha
Sparse Tensor Algebra Compilation using Equality Saturation - : Lightning Talks
-
:
Max Willsey
Welcome to EGRAPHS