OAKLAND WE DID IT!!!! 🏆

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!

egraphs.org/meeting/2025...

I had a great time at Kris's workshop in May! Lots of inspiring talks and discussions. He has posted a mega-video of all the recorded talks, I highly recommend checking some of them out if you're into Datalog, logic programming, or incrementalization. There is even some e-graph stuff in there!

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: www.mwillsey.com/blog/pldi-2025

It's that time of year! The submission site for the EGRAPHS Workshop is open!

We welcome talk proposals on published work, in-progress work, real-world applications, and anything in between. Get your 2-6 page abstract in by **April 17 AoE**!

More details here: pldi25.sigplan.org/home/egraphs...

This month's EGRAPHS seminar is on Slotted E-Graphs! The authors will be presenting on new ways to add support for binders to e-graphs.

This Thursday, 9am PT on Zoom!

egraphs.org/meeting/2025...

Very excited that egg was picked as SIGPLAN research highlight!! Thanks to all my awesome co-authors!

The EGRAPHS seminar series resumes Thursday 9am PT on Zoom! See you all there.

Cole Kurashige will be presenting on C.C. Lemma, a prover featuring induction and lemma discovery in e-graphs.

egraphs.org/meeting/2025...

The first few HYTRADBOI 2025 talks are ready! I'm so excited to be finally able to tell people about them!

Talk #1: A YJIT interview with Maxime Chevalier-Boisvert

The EGRAPHS workshop brings together researchers and practitioners that use e-graphs and related techniques. The paper submission deadline is on April 17. More info can be found here: pldi25.sigplan.org/home/egraphs... and egraphs.org

HYTRADBOI was the best bang-for-my-buck (both in time and money) event that I attended last year. This year looks equally great! If you are interested in PL or DB, it's worth it; if you like both it's a must see!

Sidenote: I think it's a great example of how to run an efficient remote conference!

☕️ We’re running LATTE again: our ASPLOS workshop about languages/compilers/tools/whatever for hardware design.

Submissions are just little 2-pagers, due on January 31. Plenty of time to throw something together! capra.cs.cornell.edu/latte25/

It's 2025, which means PLISS is this year... May to be specific! If you're interested in studying programming language implementations, please make sure to express your interest in time pliss.org/2025/

Just wrapped up grading for grad compilers! It was a ton of fun, and I hope to keep iterating and improving the course! hat tip to @samps.phd for the Bril infrastructure!

Some students have opted to make their final projects public on the course site, so check them out!

github.com/mwillsey/cs2...

SoCal Programming Languages and Systems is back and will be @ucsd_cse in February!
Submit your abstracts!
socalpls.github.io

@ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social
Reposts appreciated!

The fourth (!!) EGRAPHS Workshop will take place in June at PLDI 2025 in Seoul!

pldi25.sigplan.org/home/egraphs...

More details to come later, but start thinking about your submission :)

[New Blog Post] Ground Lambda Prolog www.philipzucker.com/ground_lambd...