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/Eqs…

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!

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!

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/egraphs-2…

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/egraphs-2…

👀 very cool looking paper at PLDI! One of the first published uses of egglog!

Join the EGRAPHS Community Meeting next week to learn about an EqSat-based tensor compiler: Amir Shaikhha will be presenting "∇SD: Differentiable Programming for Sparse Tensors" on Thu 4/18, 9am PT! egraphs.org/meeting/2024-0… PS: EGRAPHS workshop deadline *this* Friday 4/12 AoE!

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 us tomorrow at the EGRAPHS Community Meeting to hear about an EqSat-based tensor compiler: Amir Shaikhha will be presenting "∇SD: Differentiable Programming for Sparse Tensors" on Thu 4/18, 9am PT! egraphs.org/meeting/2024-0…

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-0…

Check out the program for the EGRAPHS Workshop at PLDI ! Looking forward to seeing folks there! pldi24.sigplan.org/home/egraphs-2…

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/egraphs-2…

The monthly EGRAPHS Community meeting is back next week, Aug 15 at 9am PT on Zoom! Come see Xinyu Wang 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-0…

Happening tomorrow at 9am PT!!

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-0…

Exciting news: I'm starting a postdoc at UC Berkeley with Max Willsey 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 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-1…