asst prof @Berkeley_EECS. he/him. i no longer use this account. find me elsewhere. @mwillsey@discuss.systems
Berkeley, CA
Joined November 2010
- Tweets187
- Following201
- Followers819
- Likes1.1K
Join the EGRAPHS Community Meeting this week to hear Thomas Bourgeat present on using e-graphs in proof automation!
This Thursday, 10/17 at 9am PT on Zoom!
egraphs.org/meeting/2024-10-…
Max Willsey retweeted
Exciting news: I'm starting a postdoc at UC Berkeley with @mwillsey next month! Hoping to work on incremental computation, DB ⋈ PL, compiler optimization, & more...
Also! He's recruiting PhD students. If you're interested or know someone who is, get in touch (email in bio)!
Join the EGRAPHS Community Meeting tomorrow to hear Samuel Thomas present "Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors"!
Thursday 9/19 at 9am PT on Zoom
egraphs.org/meeting/2024-09-…
Happening tomorrow at 9am PT!!
The monthly EGRAPHS Community meeting is back next week, Aug 15 at 9am PT on Zoom!
Come see @xwangsd present their POPL 24 work "Efficient Bottom-Up Synthesis for Programs with Local Variables" with connections to rewriting and web automation!
egraphs.org/meeting/2024-08-…
The monthly EGRAPHS Community meeting is back next week, Aug 15 at 9am PT on Zoom!
Come see @xwangsd present their POPL 24 work "Efficient Bottom-Up Synthesis for Programs with Local Variables" with connections to rewriting and web automation!
egraphs.org/meeting/2024-08-…
The EGRAPHS Workshop at @PLDI was amazing this year! Thanks to all the presenters and attendees :)
Check out the program, which now includes videos and preprints! pldi24.sigplan.org/home/egra…
Check out the program for the EGRAPHS Workshop at @PLDI !
Looking forward to seeing folks there!
pldi24.sigplan.org/home/egra…
Next week at the EGRAPHS Community meeting we are very fortunate to have Andrew Reynolds tell us about "Equality Reasoning in CVC5"!
Be sure to tune in Thursday, 5/16 at 9am PT on Zoom!
egraphs.org/meeting/2024-05-…
Join us tomorrow at the EGRAPHS Community Meeting to hear about an EqSat-based tensor compiler:
@ashaikhha will be presenting "∇SD: Differentiable Programming for Sparse Tensors" on Thu 4/18, 9am PT!
egraphs.org/meeting/2024-04-…
Max Willsey retweeted
Interested in hanging out with a bunch of fantastic SE and PL folks across the PNW for a day? Join us for PNW PLSE 2024 on May 7th!
We'll have a mix of posters, lightning talks, and longer talks with plenty of "hallway track" so everyone can catch up :)
pnwplse.org/
Join the EGRAPHS Community Meeting next week to learn about an EqSat-based tensor compiler:
@ashaikhha will be presenting "∇SD: Differentiable Programming for Sparse Tensors" on Thu 4/18, 9am PT!
egraphs.org/meeting/2024-04-…
PS: EGRAPHS workshop deadline *this* Friday 4/12 AoE!
👀 very cool looking paper at PLDI! One of the first published uses of egglog!
Our paper “SpEQ: Translation of Sparse Codes using Equivalences” accepted to PLDI 2024 @PLDI. SpEQ uses equality saturation and equivalence checking to automatically translate input codes to library calls or domain-specific languages (DSLs).
Paper: paramathic.com/wp-content/up…
Need an extra week on your EGRAPHS submission? Good news! EGRAPHS Workshop deadline has been updated to April 12 AOE!
Show off your latest or ongoing work to the awesome EGRAPHS community!
pldi24.sigplan.org/home/egra…
EGRAPHS Workshop deadline is Friday, April 5!
Plenty of time to whip up a 2+ pager to share your work (in-progress or already published ok!) with the vibrant and growing EGRAPHS community. Plus you'll get to hang out with us in Copenhagen!
pldi24.sigplan.org/home/egra…
What are folks doing with e-graphs? Check out the lightning talks at this EGRAPHS Community Meeting on Thursday 3/21 at 9am PT!
egraphs.org/meeting/
Featuring some core advances as well as applications in Python and Julia!
PS: EGRAPHS workshop submissions due April 5!
The EGRAPHS Community is full steam ahead! Check out the upcoming events/talks:
- 3/21: Lightning talks from the community
- 4/5: Deadline to submit to EGRAPHS Workshop @PLDI! Only 2-6pgs!
- 5/16: Andy Reynolds on equality reasoning in CVC5
All links at egraphs.org!
Join us on Thursday at 9am PT for the first EGRAPHS Community Meeting!
egraphs.org/meeting/
For the first meeting, I'll be giving an overview of e-graphs, recent developments, and exciting open directions. Don't know much about e-graphs? This is a great starting point!
The EGRAPHS Community is an initiative to bring together researchers and practitioners to talk about exciting stuff in and around e-graphs and related topics. The big components are:
- The monthly seminar
- A Zulip for discussion
- The EGRAPHS Workshop @ PLDI 24 (deadline Apr 5)
The next meeting will be lightning talks from folks in the community; feel free to email me (self) nominations!
See you on Thursday! :)
More info at egraphs.org
Max Willsey retweeted
Wondering what the solution to the following puzzle is? Check out my new post at UW PLSE's biweekly blog!
uwplse.org/2024/02/05/Eqsat-…
