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!
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
Jeremy KunSo who does e-graphs for equality saturation in a real compiler? I want to hear about performance impact both to the compiler and the resulting program. @regehr maybe?
George ConstantinidesThis is going to be so much fun. "Program Optimisation with E-Graphs", a Dagstuhl workshop organised by @mwillsey, @cfallin, @michel and me. Max has done a fantastic job driving this proposal. It will be great to be back at Dagstuhl again.
https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26022
https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26022