George Zakhour
@grgzkhr.bsky.social
PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in 🇨🇭 from 🇱🇧
(he/him)
https://grgz.me
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in 🇨🇭 from 🇱🇧
(he/him)
https://grgz.me
In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
January 21, 2025 at 6:33 PM
In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
In my talk I hope to convince you that disequalities deserve some love too.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
January 21, 2025 at 6:33 PM
In my talk I hope to convince you that disequalities deserve some love too.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.