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…
English
Max Willsey
189 posts
Max Willsey
@mwillsey
asst prof @Berkeley_EECS. he/him. i no longer use this account. find me elsewhere. @[email protected]
Berkeley, CA Katılım Kasım 2010
203 Takip Edilen829 Takipçiler
Max Willsey retweetledi
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)!
English
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…
English
Happening tomorrow at 9am PT!!
Max Willsey@mwillsey
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-0…
English
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-0…
English
@matrixkook67 @gconstantinides @UCBerkeley @imperialcas Here you go: docs.google.com/presentation/d…
English
English
Excited to have @mwillsey from @UCBerkeley with us at @imperialcas, to tell us all that’s new in the world of e-graphs.
English
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…
English
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-0…
English
Max Willsey retweetledi
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
English
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-0…
PS: EGRAPHS workshop deadline *this* Friday 4/12 AoE!
English
@natefoster @ztatlock tfw you are proven equivalent to someone else
English
👀 very cool looking paper at PLDI! One of the first published uses of egglog!
Maryam Mehri Dehnavi@MaryamDehnavi
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/upl…
English
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…
English
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…
English
@alcides Sorry for the late reply! The talks start at 9am PT and the zoom link is distributed via Zulip (it’s public, no need to sign up). More info here: egraphs.org/meeting/
English
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!
English
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!
English