Z. Tatlock

发表论文 21 篇 · 总被引 359 次 · h-index 8

代表论文

• Synthesizing structured CAD models with equality saturation and inverse transformations (2019 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 94)
• 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)
• Relational e-matching (2021 · Proc. ACM Program. Lang. · 被引 25)
• Combining Precision Tuning and Rewriting (2021 · IEEE Symposium on Computer Arithmetic · 被引 20)