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...