D. Grossman

发表论文 147 篇 · 总被引 6601 次 · h-index 38

代表论文

• Synthesizing structured CAD models with equality saturation and inverse transformations (2019 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 94)
• 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)
• Œuf: minimizing the Coq extraction TCB (2018 · Certified Programs and Proofs · 被引 52)
• Proof repair across type equivalences (2020 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 35)
• Adapting proof automation to adapt proofs (2018 · Certified Programs and Proofs · 被引 33)