Max Willsey

机构：University of California, Berkeley · 主页：https://mwillsey.com · ORCID：0000-0001-8066-4218

发表论文 35 篇 · 总被引 1066 次 · h-index 14

代表论文

• egg: Fast and extensible equality saturation (2020 · Proc. ACM Program. Lang. · 被引 302)
• Equality Saturation for Tensor Graph Superoptimization (2021 · Conference on Machine Learning and Systems · 被引 129)
• babble: Learning Better Abstractions with E-Graphs and Anti-unification (2022 · Proc. ACM Program. Lang. · 被引 71)
• Better Together: Unifying Datalog and Equality Saturation (2023 · Proceedings of the ACM on Programming Languages · 被引 67)
• Rewrite rule inference using equality saturation (2021 · Proc. ACM Program. Lang. · 被引 62)
• Free Join: Unifying Worst-Case Optimal and Traditional Joins (2023 · Proc. ACM Manag. Data · 被引 46)