We have regular, open community meetings to present work. Any and all are welcome to join! If you have recommendations (including self-nominations) for speakers, please contact the organizers.
- 📅 Meetings are the 3rd Thursday of each month at 9:00am Pacific time
- Add to Google Calendar
- or add it manually by hitting “Other Calendars” → “+” → “From URL” and pasting:
http://egraphs.org/meeting/calendar.ics
- 📹 Zoom link
- 📺 YouTube Channel for recordings
Meetings
-
:
Prof. Fabrício Olivetti de França
Equality Saturation and Symbolic Regression -
:
Marton Hajdu
Equality reasoning in Vampire -
:
Robin Coutelier
Probabalistic Security Analysis -
:
Mengdi Wu
A Multi-Level Superoptimizer for Tensor Programs -
:
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