asst prof at uc berkeley eecs
We are extending the deadline for PLMW@SPLASH 26 funding applications. It is now June 8!
Note this is only for funding support; attendees not requiring support can register much later.
Consider applying (or sharing with your students) and join us for SPLASH 26 here in Oakland!
https://conf.researchr.org/track/splash-issta-2026/splash-issta-2026-plmw---splash-issta-26#About
Join us (tomorrow!) Thursday, May 21 at 9am PT for another EGRAPHS seminar!
Sofia Brookie will discuss her Master's Thesis on E-graphs Modulo Theory.
Deadline for EGRAPHS workshop talk proposals is on Friday 4/17!
In-person or remote proposals welcome!
EGRAPHS Workshop deadline in two weeks (Apr 17)!
Plenty of time to whip up your presentation proposal. Remote/in-person, in-progress or already published work is welcome.
Update: acknowledging that many folks cannot or do not want to travel to the US at this time, we have relaxed the in-person presentation requirement. Submissions for virtual presentations are welcome.
EGRAPHS deadline about a month away!
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.
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@types.pl @rntz@recurse.social 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