Chandrakana Nandi

发表论文 30 篇 · 总被引 781 次 · h-index 12

代表论文

• egg: Fast and extensible equality saturation (2020 · Proc. ACM Program. Lang. · 被引 302)
• 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)
• Rewrite rule inference using equality saturation (2021 · Proc. ACM Program. Lang. · 被引 62)
• Functional programming for compiling and decompiling computer-aided design (2018 · Proc. ACM Program. Lang. · 被引 59)
• Carpentry compiler (2019 · ACM Transactions on Graphics · 被引 50)