RE: https://discuss.systems/@mwillsey/116053031883652744
EGRAPHS deadline about a month away!
| webpage | https://mwillsey.com |
Max Willsey
- 281 Followers
- 149 Following
- 107 Posts
asst prof at uc berkeley eecs
This week at the EGRAPHS Seminar, Marton Hajdu from the Vampire team will present his work on equality reasoning in the Vampire tool. Join us!
Thursday 2/19, 9AM PT on Zoom
Recordings on youtube after
The EGRAPHS Workshop will hold its fifth (!) instance at PLDI 2026 in Boulder, Colorado! The conference is June 15-19, and the workshop is likely on one of the first two days.
Submission deadline is Fri, April 17, 2026.
We invite submissions for talks broadly, including talks that may cover already published or in-progress work.
EGRAPHS 2026 - PLDI 2026
Research in the EGRAPHS Community has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, computational fabrication, automatic vectorization, deep learning compute graphs, symbolic computation, and more. The fifth EGRAPHS workshop will bring toge ...
Hello everyone! This month's EGRAPHS seminar will be from Robin Coutelier. They will share their work on Probabilistic Security Analysis, which includes a call to share efforts between ATPs, SMT solvers and the world of e-graph rewrite systems.
https://egraphs.org/meeting/2025-11-20-robin
Talk at 9am PT on Thursday. Zoom link on the above page. It will be recorded and posted to Youtube.
A bit late for this, but might as well:
**I am recruiting PhD students this year**
I am looking for students with strengths in some subset of compilers, databases, e-graphs, SMT solvers, theorem proving, and logic programming. You definitely don't have to have mastery of all those things (I don't!), but there's a lot of fun work to do in the intersection.
This month's EGRAPHS meeting will feature Mengdi Wu speaking about approaches to tensor superoptimization.
https://egraphs.org/meeting/2025-10-16-mirage
This Thursday 9am on Zoom! Recordings posted to youtube.
See you there!
In this month's EGRAPHS Community Meeting, Leo de Moura will present on the internals of the grind tactic in Lean 4. Join us on Zoom 9am PT this Thursday (9/18). Or catch the recording after!
@krismicinski @rntz Awesome! Can't wait to see what they get up to. I think "programming" (whatever that means) in egg/egglog/datalog/something-else-log is ripe right now!
I'm at PLDI 2025 right now! Come say hi if you are too :)
Lots of cool e-graph stuff happening this week: the egglog tutorial, the EGRAPHS workshop, and some excited papers. I'm trying to collect it all here: https://www.mwillsey.com/blog/pldi-2025
@j2kun @regehr Other folks have covered this pretty well! Basically, egg-style search and saturate is far too expensive for most general purpose compilers. It has found some use in domain specific situations, or when smart people like @cfallin go make their own version specialized to their performance needs!