Amy Zhu | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Justin Solomon
71 publications
Zachary Tatlock
25 publications
Ilya Sergey
16 publications
Nadia Polikarpova
13 publications
Max Willsey
13 publications
Yisu Remy Wang
11 publications
Adriana Schulz
11 publications
Chandrakana Nandi
8 publications
Haisen Zhao
5 publications
Dan Grossman
5 publications
Andreea Costea
4 publications

research

∙ 08/23/2021

Rewrite Rule Inference Using Equality Saturation

Many compilers, synthesizers, and theorem provers rely on rewrite rules ...

0 Chandrakana Nandi, et al. ∙

research

∙ 07/30/2021

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material

Past work on optimizing fabrication plans given a carpentry design can p...

0 Haisen Zhao, et al. ∙

research

∙ 07/26/2021

Co-Optimization of Design and Fabrication Plans for Carpentry

Past work on optimizing fabrication plans given a carpentry design can p...

0 Haisen Zhao, et al. ∙

research

∙ 01/29/2020

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers – Extended Version

In program synthesis there is a well-known trade-off between concise and...

0 Andreea Costea, et al. ∙

Success!

An error occurred