Sign in

Max Willsey

@mwillsey.com
506 followers 108 following 18 posts

mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems

PostsRepliesMedia
Max Willsey @mwillsey.com · 17/08/2026
The EGRAPHS Seminar resumes this week from its summer break. Join us to see Fritz Obermeyer discuss High performance E-graphs on multi-core CPUs. This Thursday 8/20 at 9am PT on Zoom. egraphs.org/meeting/2026...
egraphs.org
000
Max Willsey @mwillsey.com · 21/05/2026
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. egraphs.org/meeting/2026...
egraphs.org
E-graphs Modulo Theory
The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.
020
Max Willsey @mwillsey.com · 13/04/2026
Deadline for EGRAPHS workshop talk proposals is on Friday! In-person or remote proposals welcome!
000
Max Willsey @mwillsey.com · 03/04/2026
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.
012
Max Willsey @mwillsey.com · 14/03/2026
The EGRAPHS Workshop will hold its fifth (!) instance at PLDI 2026 in Boulder, Colorado on June 15. Submission deadline is Fri, April 17, 2026. We invite submissions for talks broadly, including talks that may cover already published or in-progress work. pldi26.sigplan.org/home/egraphs...
pldi26.sigplan.org
040
Max Willsey @mwillsey.com · 17/02/2026
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 egraphs.org/meeting/2026...
egraphs.org
Equality reasoning in Vampire
The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.
070
Reposted by Max Willsey
Oakland Ballers @oaklandballers.bsky.social · 22/09/2025
OAKLAND WE DID IT!!!! 🏆
319562
Max Willsey @mwillsey.com · 16/09/2025
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...
egraphs.org
grind in Lean 4
The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.
040
Max Willsey @mwillsey.com · 08/07/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!
0112
Max Willsey @mwillsey.com · 16/06/2025
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
0130
Max Willsey @mwillsey.com · 24/03/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...
pldi25.sigplan.org
EGRAPHS 2025 - PLDI 2025
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 eq...
0103
Max Willsey @mwillsey.com · 17/03/2025
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...
egraphs.org
Slotted E-Graphs
The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.
022
Max Willsey @mwillsey.com · 01/03/2025
Very excited that egg was picked as SIGPLAN research highlight!! Thanks to all my awesome co-authors!
070
Max Willsey @mwillsey.com · 18/02/2025
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...
egraphs.org
C.C. Lemma: induction and lemma discovery in e-graphs
The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.
041
Reposted by Max Willsey
HYTRADBOI @hytradboi.bsky.social · 22/01/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
A screenshot of YJIT latency over time, showing that p99 latency stays lower than MRI even during deployments.
15616
Reposted by Max Willsey
PLDI @sigplan-pldi.bsky.social · 07/02/2025
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
pldi25.sigplan.org
EGRAPHS 2025 - PLDI 2025
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 eq...
202
Max Willsey @mwillsey.com · 01/02/2025
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!
051
Reposted by Max Willsey
Adrian Sampson @samps.phd · 09/01/2025
☕️ 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/
capra.cs.cornell.edu
LATTE ’25
02310
Reposted by Max Willsey
Laurence Tratt @ltratt.bsky.social · 06/01/2025
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/
02519
Max Willsey @mwillsey.com · 27/12/2024
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...
0121
Reposted by Max Willsey
Loris D'Antoni @lorisdanto.bsky.social · 20/12/2024
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!
socalpls.github.io
Home · SoCal PLS
22411
Max Willsey @mwillsey.com · 29/11/2024
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 :)
pldi25.sigplan.org
EGRAPHS 2025 - PLDI 2025
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 eq...
0164
Reposted by Max Willsey
Philip Zucker @sandmouth.bsky.social · 26/11/2024
[New Blog Post] Ground Lambda Prolog www.philipzucker.com/ground_lambd...
philipzucker.com
Ground Lambda Prolog
Today, I thought today I’d be writing a lambda prolog interpreter. While trying to explain what it’s doing, I got kind of mired in some other interesting ideas.
061