fwgon Lobsters • Recommends
egg: Fast and Extensible Equality Saturation
Project website: https://egraphs-good.github.io
0:00 / 0:00
#equalitysaturation#e-graphs#egg
egg: Fast and Extensible Equality Saturation
Max Willsey
76 subscribers • 1 video on Hallway
- Recommended by 1 person: 1 on Lobsters.
- Presented by Max Willsey
- Linked in the descriptionarXiv 2004.03082Paper on dl.acm.org
Advanced. Deep dive for people who know the field.
3.1K views5 years ago1 recommendation
Systems programmingComputer scienceCompilers and interpretersComputation and complexityRust
Max Willsey presents egg, a fast and extensible library for equality saturation using e-graphs to optimize programs and analyze code.
This is the full-length video for the POPL 2021 paper "egg: Fast and Extensible Equality Saturation". 5 min version: youtu.be/ap29SzDAzP0 arXiv: arxiv.org/abs/2004.03082 ACM DL: dl.acm.org/doi/10.1145/3434304 Clowdr [conference site]: app.clowdr.org/conference/popl2021/item/7a6e0f6c-c2fb-407a-a…