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…
Max Willsey
@mwillsey
asst prof @Berkeley_EECS. he/him.
i no longer use this account. find me elsewhere.
@[email protected]
- 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…
- 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-0…
- 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…
- 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…
