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.
We are now recording the meetings and posting them on YouTube on the EGRAPHS Community YouTube channel.
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
-
:
Mengdi Wu
A Multi-Level Superoptimizer for Tensor Programs -
:
Robin Coutelier
Probabalistic Security Analysis -
:
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